MetaXearch > / Math / Logic and Foundations / People /
Aczel, Peter
University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic. (infos)Awodey, Steve
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic. (infos)
Baldwin, John T.
University of Illinois, Chicago - Model theory (finite and infinite). (infos)
Bartoszynski, Tomek
Boise State University - Set theory. (infos)
Blass, Andreas R.
University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science. (infos)
Bouscaren, Elisabeth
CNRS / University of Paris 7 - Model theory and algebraic geometry. (infos)
Buechler, Steven
University of Notre Dame - Model theory. (infos)
Burris, Stanley
University of Waterloo - Universal algebra, logic, computers. (infos)
Buss, Samuel R.
University of California, San Diego - Proof theory, computational complexity. (infos)
Carnielli, Walter A.
State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics. (infos)