| The results 1 to 10 from 120 | |
|
|
|
|
| | Aczel, Peter |
| | University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
http://www.cs.man.ac.uk/~petera/ - New window - Cached - Archive - |
|
|
| | Andrews, Peter B. |
| | Carnegie Mellon University - Type theory, automated theorem proving.
http://gtps.math.cmu.edu/andrews.html - New window - Cached - Archive - |
|
|
| | Artemov, Sergei |
| | City University of New York Graduate Center - Proof theory, logic of proofs.
http://web.cs.gc.cuny.edu/~sartemov/ - New window - Cached - Archive - |
|
|
| | Avigad, Jeremy |
| | Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
http://www.andrew.cmu.edu/user/avigad/ - New window - Cached - Archive - |
|
|
| | Awodey, Steve |
| | Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
http://www.andrew.cmu.edu/user/awodey/ - New window - Cached - Archive - |
|
|
| | Baldwin, John T. |
| | University of Illinois, Chicago - Model theory (finite and infinite).
http://www.math.uic.edu/~jbaldwin/ - New window - Cached - Archive - |
|
|
| | Barendregt, Henk |
| | Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
http://www.cs.ru.nl/~henk/ - New window - Cached - Archive - |
|
|
| | Beklemishev, Lev |
| | Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.
http://www.phil.uu.nl/~lev/ - New window - Cached - Archive - |
|
|
| | Blass, Andreas R. |
| | University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
http://www.math.lsa.umich.edu/~ablass/ - New window - Cached - Archive - |
|
|
| | Bouscaren, Elisabeth |
| | CNRS / University of Paris 7 - Model theory and algebraic geometry.
http://www.logique.jussieu.fr/www.elibou/ - New window - Cached - Archive - |
|
|
|
