Sponsored Links
Directory Sites
University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
www.cs.man.ac.uk
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
www.andrew.cmu.edu
University of Illinois, Chicago - Model theory (finite and infinite).
www.math.uic.edu
Boise State University - Set theory.
diamond.boisestate.edu
University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
www.math.lsa.umich.edu
CNRS / University of Paris 7 - Model theory and algebraic geometry.
www.logique.jussieu.fr
University of Notre Dame - Model theory.
www.nd.edu
University of Waterloo - Universal algebra, logic, computers.
www.thoralf.uwaterloo.ca
University of California, San Diego - Proof theory, computational complexity.
math.ucsd.edu
State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.
www.unicamp.br
IBM Research - Algorithmic information theory.
www.cs.auckland.ac.nz
Carnegie Mellon University - Set theory.
www.math.cmu.edu
University of Paris 7 - Proof theory, linear logic.
www.logique.jussieu.fr
University of Freiburg - Finite model theory.
logik.mathematik.uni-freiburg.de
UCLA - Recursion theory, definability theory.
www.math.ucla.edu