|
Sponsored Links:
Baldwin, John T. (Popularity:  )
http://www.math.uic.edu/~jbaldwin/
University of Illinois, Chicago - Model theory (finite and infinite).
|
|
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.
|
|
|
Bouscaren, Elisabeth (Popularity: )
http://www.logique.jussieu.fr/www.elibou/
CNRS / University of Paris 7 - Model theory and algebraic geometry.
|
|
Zach, Richard (Popularity: )
http://www.ucalgary.ca/~rzach/
University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic.
|
|
Blass, Andreas R. (Popularity: )
http://www.math.lsa.umich.edu/~ablass/
University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
|
|
Awodey, Steve (Popularity: )
http://www.andrew.cmu.edu/user/awodey/
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
|
|
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.
|
|
Burris, Stanley (Popularity: )
http://www.thoralf.uwaterloo.ca/
University of Waterloo - Universal algebra, logic, computers.
|
|
Welch, Philip (Popularity: )
http://www.maths.bris.ac.uk/~mapdw/
University of Bristol - Set theory, inner models, descriptive set theory.
|
|
Buss, Samuel R. (Popularity: )
http://math.ucsd.edu/~sbuss/
University of California, San Diego - Proof theory, computational complexity.
|
|
Buechler, Steven (Popularity: )
http://www.nd.edu/~steve/
University of Notre Dame - Model theory.
|
|
Gerla, Giangiacomo (Popularity: )
http://www.dmi.unisa.it/people/gerla/www/
University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.
|
|
Cummings, James (Popularity: )
http://www.math.cmu.edu/users/jcumming/
Carnegie Mellon University - Set theory.
|
|
|
Kastermans, Bart (Popularity: )
http://www.kastermans.nl/bart/
University of Michigan - Set theory.
|
|
Maddy, Penelope (Popularity: )
http://www.lps.uci.edu/home/fac-staff/faculty/maddy/
University of California Irvine - Philosophy of logic and mathematics.
|
|
Larson, Jean A. (Popularity: )
http://www.math.ufl.edu/~jal/
University of Florida - Set theory, combinatorics.
|
|
|
Anand, Bhupinder Singh (Popularity: )
http://alixcomsi.com/index01.htm
Independent scholar, Mumbai. Interests: reviewing standard interpretations of Cantor's, Gödel's, Tarski's, and Turing's reasoning.
|
|
Artemov, Sergei (Popularity: )
http://www.cs.gc.cuny.edu/%7Esartemov/
City University of New York Graduate Center - Proof theory, logic of proofs.
|
|
Goldstern, Martin (Popularity: )
http://info.tuwien.ac.at/goldstern/
University of Technology, Vienna - Set theory.
|
