Search for
Home > Science > Math > Logic and Foundations >

Logicians
New! Submit a site
 
whatUseek Directory Site Listings:
 
Goldstern, Martin - University of Technology, Vienna - set theory.
 
Grossberg, Rami - Carnegie Mellon University - model theory.
 
Herwig, Bernhard - University of Freiburg - model theory.
 
Hindley, J. R. - University of Wales Swansea - lambda-calculus, combinatory logic and type-theory.
 
Hjorth, Greg - UCLA - descriptive set theory, countable models, definable equivalence relations.
 
Hodges, Wilfrid - University of London - model theory.
 
Holmes, Randall - Boise State University - set theory: New Foundations, automated theorem proving.
 
Howard, Paul - Eastern Michigan University - axiom of choice.
 
Hustadt, Ullrich - University of Liverpool - resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
 
Hyland, J. Martin E. - University of Cambridge - Interested in categorical logic, game semantics and logic in computer science.
 
Hähnle, Reiner - University of Karlsruhe - tableau-based automated theorem proving, many-valued logic.
 
Jech, Thomas - Pennsylvania State University - set theory.
 
Jockusch, Carl G. - University of Illinois, Urbana Champaign - recursion theory.
 
Junker, Markus - University of Freiburg - model theory.
 
Kaiser, Klaus - University of Houston - mathematical logic, universal algebra, lattice theory and logic programming.
 
Kanamori, Akihiro - Boston University - set theory.
 
Kaye, Richard - University of Birmingham - model theory.
 
Kechris, Alexander S. - Caltech - foundations of mathematics, mathematical logic and set theory, interactions with analysis.
 
Knight, Julia F. - University of Notre Dame - recursion theory.
 
Kunen, Kenneth - University of Wisconsin, Madison - set theory.
 
 
[ 1 2 3 4 5 6 ]
Help build the largest human-edited directory on the web.
  Submit a Site - Open Directory Project - Become an Editor  
About   Help   Content Filter   Terms   Privacy Policy

© 2018 whatUseek