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://web.cs.gc.cuny.edu/~sartemov/ | | City university of new york graduate center - proof theory , logic of proofs. |
Avigad, Jeremy «
http://www.andrew.cmu.edu/user/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. |
