1 - 15 of 391,003,300 for people
Web Results:
University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
Carnegie Mellon University - Type theory, automated theorem proving.
City University of New York Graduate Center - Proof theory, logic of proofs.
Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
University of Illinois, Chicago - Model theory (finite and infinite).
Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.
University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
CNRS / University of Paris 7 - Model theory and algebraic geometry.
University of Waterloo - Universal algebra, logic, computers.
University of California, San Diego - Proof theory, computational complexity.
Stockholm University - Constructive type theory and related mathematics.
State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.
Sponsored Results:
Related Search Results
Ask Your Question
Recent Questions
-
Here's a good opportunity to introduce a little controversy. Some might say that the outcry over dia...
-
which continent is the smallest of all in size? Africa, Australia or Antarctica
-
I'm not sure that my earlier question went through, so, I will ask it again. Do you know of any com...
Images
|
|
|
|
