Sites

Chaitin, Gregory J. (Popularity: )

IBM Research - Algorithmic information theory.

Wansing, Heinrich (Popularity: )

Institute of Logic and the Philosophy of Science, Leipzig - Substructural and non-classical logics, modal ...

Flannery, Ryan (Popularity: )

University of Cincinnati - satisfiability, first-order and temporal logic, computer science.

Enderton, Herbert B. (Popularity: )

UCLA - Recursion theory, definability theory.

Ebbinghaus, Heinz-Dieter (Popularity: )

University of Freiburg - Finite model theory.

Scott, Dana (Popularity: )

Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical ...

Feferman, Solomon (Popularity: )

Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of ...

Danos, Vincent (Popularity: )

University of Paris 7 - Proof theory, linear logic.

Grossberg, Rami (Popularity: )

Carnegie Mellon University - Model theory.

Lempp, Steffen (Popularity: )

University of Wisconsin, Madison - Computability, recursion theory.

Ono, Hiroakira (Popularity: )

Japan Advanced Institute of Science and Technology - Nonclassical logic, substructural logics, logic of knowledge ...

Japaridze, Giorgi (Popularity: )

Villanova University - computability logic, game semantics, provability logic.

Larson, Jean A. (Popularity: )

University of Florida - Set theory, combinatorics.

Rubin, Jean E. (Popularity: )

Purdue University - Set theory, axiom of choice.

Regnier, Laurent (Popularity: )

University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.

Hindley, J. R. (Popularity: )

University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory.

Rathjen, Michael (Popularity: )

University of Leeds - Proof theory.

Goldstern, Martin (Popularity: )

University of Technology, Vienna - Set theory.

Hjorth, Greg (Popularity: )

UCLA - Descriptive set theory, countable models, definable equivalence relations.

Barendregt, Henk (Popularity: )

Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.