Sponsored Links:
Aczel, Peter (Popularity:  )
http://www.cs.man.ac.uk/~petera/
University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
|
Avigad, Jeremy (Popularity: )
http://www.andrew.cmu.edu/~avigad/
Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
|
Awodey, Steve (Popularity: )
http://www.andrew.cmu.edu/user/awodey/
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
|
Baldwin, John T. (Popularity: )
http://www.math.uic.edu/~jbaldwin/
University of Illinois, Chicago - Model theory (finite and infinite).
|
Bartoszynski, Tomek (Popularity: )
http://diamond.boisestate.edu/~tomek/
Boise State University - Set theory.
|
Blass, Andreas R. (Popularity: )
http://www.math.lsa.umich.edu/~ablass/
University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
|
Bouscaren, Elisabeth (Popularity: )
http://www.logique.jussieu.fr/www.elibou/
CNRS / University of Paris 7 - Model theory and algebraic geometry.
|
Buechler, Steven (Popularity: )
http://www.nd.edu/~steve/
University of Notre Dame - Model theory.
|
Burris, Stanley (Popularity: )
http://www.thoralf.uwaterloo.ca/
University of Waterloo - Universal algebra, logic, computers.
|
Buss, Samuel R. (Popularity: )
http://math.ucsd.edu/~sbuss/
University of California, San Diego - Proof theory, computational complexity.
|
Carnielli, Walter A. (Popularity: )
http://www.unicamp.br/cle/carniell.htm
State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.
|
Cummings, James (Popularity: )
http://www.math.cmu.edu/users/jcumming/
Carnegie Mellon University - Set theory.
|
Danos, Vincent (Popularity: )
http://www.logique.jussieu.fr/www.danos/
University of Paris 7 - Proof theory, linear logic.
|
Ebbinghaus, Heinz-Dieter (Popularity: )
http://logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.html
University of Freiburg - Finite model theory.
|
Enderton, Herbert B. (Popularity: )
http://www.math.ucla.edu/~hbe/
UCLA - Recursion theory, definability theory.
|
Etchemendy, John (Popularity: )
http://www-csli.stanford.edu/hp/etchemendy.html
Stanford University - Philosophical logic, semantics, and philosophy of language.
|
Feferman, Solomon (Popularity: )
http://math.Stanford.EDU/~feferman/
Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
|
Fitting, Melvin (Popularity: )
http://comet.lehman.cuny.edu/fitting/
City University of New York - Logic in computer science, mathematics, philosophy.
|
Flum, Jörg (Popularity: )
http://logik.mathematik.uni-freiburg.de/personen/Flum.html
University of Freiburg - Finite model theory.
|
Forster, T. E. (Popularity: )
http://www.dpmms.cam.ac.uk/~tf/
University of Cambridge - Set theory, type theory.
|
