Sites

Guglielmi, Alessio (Popularity: )

Technische Universitaet Dresden - Proof Theory.

Jockusch, Carl G. (Popularity: )

University of Illinois, Urbana Champaign - Recursion theory.

Wilkie, Alex (Popularity: )

Oxford University - Models of arithmetic.

Moreno, Javier (Popularity: )

University of Illinois, Urbana-Champaign - Model theory and applications.

Nelson, Edward (Popularity: )

Princeton University - Bounded arithmetic, automated proof verification (QED).

Nerode, Anil (Popularity: )

Cornell University - Computability theory, logic in computer science, history of logic.

White, Graham (Popularity: )

Queen Mary and Westfield College, London - Philosophy and linear logic.

Kunen, Kenneth (Popularity: )

University of Wisconsin, Madison - Set theory.

Leivant, Daniel (Popularity: )

Indiana University - Computational complexity.

Lessmann, Olivier (Popularity: )

University of Illinois, Chicago - Model theory.

Lindell, Steven (Popularity: )

Haverford College - Finite model theory, descriptive complexity.

Miller, Dale (Popularity: )

Penn State University - Linear logic, proof search and declarative programming languages.

Pratt, Vaughan (Popularity: )

Stanford University - Linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable ...

Setzer, Anton (Popularity: )

Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.

Shore, Richard A. (Popularity: )

Cornell University - Recursion theory.

Sieg, Wilfried (Popularity: )

Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century ...

Zilber, Boris (Popularity: )

University of Oxford - Model theory.

Solovay, Robert M. (Popularity: )

University of California, Berkeley - Proof theory.

Lascar, Daniel (Popularity: )

CNRS / University of Paris 7 - Model theory.

Mitchell, William (Popularity: )

University of Florida - Set theory.