Search
The Directory
The Web
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