Math: Logic and Foundations: People

the entire directory only this category

Advanced Search

Home : Math : Logic and Foundations : People

CATEGORIES:

Students and Independent Scholars (3)

LINKS:

Pages: 1 2 3 4 5 6 [>>]

Aczel, Peter
http://www.cs.man.ac.uk/~petera/
University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.

Andrews, Peter B.
http://gtps.math.cmu.edu/andrews.html
Carnegie Mellon University - Type theory, automated theorem proving.

Artemov, Sergei
http://www.cs.gc.cuny.edu/%7Esartemov/
City University of New York Graduate Center - Proof theory, logic of proofs.

Avigad, Jeremy
http://www.andrew.cmu.edu/~avigad/
Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.

Awodey, Steve
http://www.andrew.cmu.edu/user/awodey/
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.

Baldwin, John T.
http://www.math.uic.edu/~jbaldwin/
University of Illinois, Chicago - Model theory (finite and infinite).

Barendregt, Henk
http://www.cs.ru.nl/~henk/
Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.

Bartoszynski, Tomek
http://diamond.boisestate.edu/~tomek/
Boise State University - Set theory.

Beklemishev, Lev
http://www.phil.uu.nl/~lev/
Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.

Blass, Andreas R.
http://www.math.lsa.umich.edu/~ablass/
University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.

Bouscaren, Elisabeth
http://www.logique.jussieu.fr/www.elibou/
CNRS / University of Paris 7 - Model theory and algebraic geometry.

Buechler, Steven
http://www.nd.edu/~steve/
University of Notre Dame - Model theory.

Burris, Stanley
http://www.thoralf.uwaterloo.ca/
University of Waterloo - Universal algebra, logic, computers.

Buss, Samuel R.
http://math.ucsd.edu/~sbuss/
University of California, San Diego - Proof theory, computational complexity.

Carlstrom, Jesper
http://www.math.su.se/~jesper/
Stockholm University - Constructive type theory and related mathematics.

Carnielli, Walter A.
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.

Chaitin, Gregory J.
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/
IBM Research - Algorithmic information theory.

Chatzidakis, Zoé
http://www.logique.jussieu.fr/www.zoe/
CNRS/University of Paris 7 - Model theory.

Cummings, James
http://www.math.cmu.edu/users/jcumming/
Carnegie Mellon University - Set theory.

Danos, Vincent
http://www.logique.jussieu.fr/www.danos/
University of Paris 7 - Proof theory, linear logic.

Darnière, Luck
http://math.univ-angers.fr/~darniere/home_uk.html
University of Angers, France - Model theory.

Dosen, Kosta
http://www.mi.sanu.ac.yu/~kosta/
University of Belgrade - Proof theory, category theory.

Ebbinghaus, Heinz-Dieter
http://logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.html
University of Freiburg - Finite model theory.

Enderton, Herbert B.
http://www.math.ucla.edu/~hbe/
UCLA - Recursion theory, definability theory.

Etchemendy, John
http://www-csli.stanford.edu/hp/etchemendy.html
Stanford University - Philosophical logic, semantics, and philosophy of language.

Pages: 1 2 3 4 5 6 [>>]

HOME | ADD A LINK | MODIFY A LINK | LOGIN

© atomseek.com
Website Development by MIRO

UFO Seek Forum is a growing community for discussion of UFO-Paranormal, mysterious and unexplained topics.