Sites

Soare, Robert I. (Popularity: )

University of Chicago - Recursion theory.

Dosen, Kosta (Popularity: )

University of Belgrade - Proof theory, category theory.

Howard, Paul (Popularity: )

Eastern Michigan University - Axiom of choice.

Kanamori, Akihiro (Popularity: )

Boston University - Set theory.

Kaye, Richard (Popularity: )

University of Birmingham - Model theory.

Parikh, Rohit (Popularity: )

Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language.

Schmidt, Renate (Popularity: )

University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce ...

Forster, T. E. (Popularity: )

University of Cambridge - Set theory, type theory.

Hyland, J. Martin E. (Popularity: )

University of Cambridge - Categorical logic, game semantics and logic in computer science.

Marker, David (Popularity: )

University of Illinois, Chicago - Model theory.

Sipser, Michael (Popularity: )

MIT - Complexity theory.

Fitting, Melvin (Popularity: )

City University of New York - Logic in computer science, mathematics, philosophy.

Moss, Lawrence (Popularity: )

Indiana University - Applied logic.

Ong, C.-H. Luke (Popularity: )

Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming ...

Simpson, George (Popularity: )

Penn State University - Fuondations of mathematics and logic.

Hustadt, Ullrich (Popularity: )

University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.

Kechris, Alexander S. (Popularity: )

Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.

Levesque, Hector (Popularity: )

University of Toronto - Knowledge representation.

McKenzie, Ralph (Popularity: )

Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.

Monk, Donald (Popularity: )

University of Colorado, Boulder - Boolean algebras.