All sites of Mathematics

Hyland, J. Martin E. Hyland, J. Martin E.
Hyland, J. Martin E.- University of Cambridge - Categorical logic, game semantics and logic in computer science. ...
Pfenning, Frank Pfenning, Frank
Pfenning, Frank- Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory. ...
Beklemishev, Lev Beklemishev, Lev
Beklemishev, Lev- Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics. ...
Aczel, Peter Aczel, Peter
Aczel, Peter- University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic. ...
Awodey, Steve Awodey, Steve
Awodey, Steve- Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic. ...
Baldwin, John T. Baldwin, John T.
Baldwin, John T.- University of Illinois, Chicago - Model theory (finite and infinite). ...
Burris, Stanley Burris, Stanley
Burris, Stanley- University of Waterloo - Universal algebra, logic, computers. ...
Buss, Samuel R. Buss, Samuel R.
Buss, Samuel R.- University of California, San Diego - Proof theory, computational complexity. ...
Cummings, James Cummings, James
Cummings, James- Carnegie Mellon University - Set theory. ...
Feferman, Solomon Feferman, Solomon
Feferman, Solomon- Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic. ...
Fitting, Melvin Fitting, Melvin
Fitting, Melvin- City University of New York - Logic in computer science, mathematics, philosophy. ...
Flum, Jörg Flum, Jörg
Flum, Jörg- University of Freiburg - Finite model theory. ...
Forster, T. E. Forster, T. E.
Forster, T. E.- University of Cambridge - Set theory, type theory. ...
Gerla, Giangiacomo Gerla, Giangiacomo
Gerla, Giangiacomo- University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry. ...
Goldstern, Martin Goldstern, Martin
Goldstern, Martin- University of Technology, Vienna - Set theory. ...
Grossberg, Rami Grossberg, Rami
Grossberg, Rami- Carnegie Mellon University - Model theory. ...
Hjorth, Greg Hjorth, Greg
Hjorth, Greg- UCLA - Descriptive set theory, countable models, definable equivalence relations. ...
Hodges, Wilfrid Hodges, Wilfrid
Hodges, Wilfrid- University of London - Model theory. ...
Holmes, Randall Holmes, Randall
Holmes, Randall- Boise State University - Set theory: New Foundations, automated theorem proving. ...
Howard, Paul Howard, Paul
Howard, Paul- Eastern Michigan University - Axiom of choice. ...
Hustadt, Ullrich Hustadt, Ullrich
Hustadt, Ullrich- University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic. ...
Jech, Thomas Jech, Thomas
Jech, Thomas- Pennsylvania State University - Set theory. ...
Jockusch, Carl G. Jockusch, Carl G.
Jockusch, Carl G.- University of Illinois, Urbana Champaign - Recursion theory. ...
Junker, Markus Junker, Markus
Junker, Markus- University of Freiburg - Model theory. ...
Kaiser, Klaus Kaiser, Klaus
Kaiser, Klaus- University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming. ...
Kanamori, Akihiro Kanamori, Akihiro
Kanamori, Akihiro- Boston University - Set theory. ...
Kaye, Richard Kaye, Richard
Kaye, Richard- University of Birmingham - Model theory. ...
(Italy) INFN Rome (Italy) INFN Rome
(Italy) INFN Rome- Mathematical Physics, Roma La Sapienza, Rome. ...
Kechris, Alexander S. Kechris, Alexander S.
Kechris, Alexander S.- Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis. ...
Kunen, Kenneth Kunen, Kenneth
Kunen, Kenneth- University of Wisconsin, Madison - Set theory. ...
Lafont, Yves Lafont, Yves
Lafont, Yves- University of Marseille II - Linear logic, lambda calculus, proof theory, term rewriting. Lafont invented the theory of interaction nets, an elegant theory of graph rewriting. ...
Larson, Jean A. Larson, Jean A.
Larson, Jean A.- University of Florida - Set theory, combinatorics. ...
Lempp, Steffen Lempp, Steffen
Lempp, Steffen- University of Wisconsin, Madison - Computability, recursion theory. ...
Marker, David Marker, David
Marker, David- University of Illinois, Chicago - Model theory. ...
Moschovakis, Yiannis N. Moschovakis, Yiannis N.
Moschovakis, Yiannis N.- UCLA - Set theory, recursion theory. ...
Nerode, Anil Nerode, Anil
Nerode, Anil- Cornell University - Computability theory, logic in computer science, history of logic. ...
Rathjen, Michael Rathjen, Michael
Rathjen, Michael- University of Leeds - Proof theory. ...
Regnier, Laurent Regnier, Laurent
Regnier, Laurent- University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations. ...
Scedrov, Andre Scedrov, Andre
Scedrov, Andre- University of Pennsylvania - Logic in computer science, linear logic. ...
Schmidt, Renate Schmidt, Renate
Schmidt, Renate- University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation. ...
Scott, Dana Scott, Dana
Scott, Dana- Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation. ...
Ono, Hiroakira Ono, Hiroakira
Ono, Hiroakira- Japan Advanced Institute of Science and Technology - Nonclassical logic, substructural logics, logic of knowledge and belief, cumulative reasoning. ...
Lakemeyer, Gerhard Lakemeyer, Gerhard
Lakemeyer, Gerhard- Aachen University of Technology - Knowledge-based systems. ...
Andrews, Peter B. Andrews, Peter B.
Andrews, Peter B.- Carnegie Mellon University - Type theory, automated theorem proving. ...
Barendregt, Henk Barendregt, Henk
Barendregt, Henk- Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular. ...
Avigad, Jeremy Avigad, Jeremy
Avigad, Jeremy- Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics. ...
MacTutor History of Mathematics MacTutor History of Mathematics
MacTutor History of Mathematics- Biographies of mathematicians. ...
Sieg, Wilfried Sieg, Wilfried
Sieg, Wilfried- Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics. ...
Luo, Zhaohui Luo, Zhaohui
Luo, Zhaohui- University of London, UK - Type theory, theoretical computer science and semantics of natural languages. ...
Friedman, Sy D. Friedman, Sy D.
Friedman, Sy D.- University of Vienna - Set theory. ...

Latest sites from Mathematics