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

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