Directory: Top/Science/Math/Logic_and

Top / Science / Math / Logic_and_Foundations / People /

Aczel, Peter
University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
http://www.cs.man.ac.uk/~petera/
Man.ac.uk ~ Site Info Whois Trace Route RBL Check

Awodey, Steve
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
http://www.andrew.cmu.edu/user/awodey/
Cmu.edu ~ Site Info Whois Trace Route RBL Check

Baldwin, John T.
University of Illinois, Chicago - Model theory (finite and infinite).
http://www.math.uic.edu/~jbaldwin/
Uic.edu ~ Site Info Whois Trace Route RBL Check

Blass, Andreas R.
University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
http://www.math.lsa.umich.edu/~ablass/
Umich.edu ~ Site Info Whois Trace Route RBL Check

Bouscaren, Elisabeth
CNRS / University of Paris 7 - Model theory and algebraic geometry.
http://www.logique.jussieu.fr/www.elibou/
Jussieu.fr ~ Site Info Whois Trace Route RBL Check

Buechler, Steven
University of Notre Dame - Model theory.
http://www.nd.edu/~steve/
Nd.edu ~ Site Info Whois Trace Route RBL Check

Burris, Stanley
University of Waterloo - Universal algebra, logic, computers.
http://www.thoralf.uwaterloo.ca/
Uwaterloo.ca ~ Site Info Whois Trace Route RBL Check

Buss, Samuel R.
University of California, San Diego - Proof theory, computational complexity.
http://math.ucsd.edu/~sbuss/
Ucsd.edu ~ Site Info Whois Trace Route RBL Check

Carnielli, Walter A.
State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.
http://www.unicamp.br/cle/carniell.htm
Unicamp.br ~ Site Info Whois Trace Route RBL Check

Chaitin, Gregory J.
IBM Research - Algorithmic information theory.
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/
Auckland.ac.nz ~ Site Info Whois Trace Route RBL Check