 |
|
|
|
|
New! Submit a site
Categories: |
| Aristotle *(53) |
|
Peirce, Charles Sanders (10) |
| Bernays, Paul (3) |
|
Post, Emil L. (1) |
| Boole, George (7) |
|
Prior, Arthur Norman *(2) |
| Church, Alonzo (4) |
|
Quine, Willard van Orman *(9) |
| Frege, Gottlob (11) |
|
Russell, Bertrand *(17) |
| Gödel, Kurt (8) |
|
Skolem, Thoralf (2) |
| Hilbert, David (5) |
|
Tarski, Alfred (5) |
| Husserl, Edmund *(19) |
|
Turing, Alan Mathison (10) |
| Leibniz, Gottfried Wilhelm *(9) |
|
Wittgenstein, Ludwig *(46) |
| Lukasiewicz, Jan (2) |
|
|
|
whatUseek Collection Sites (submit a site ):
Give your site great
placement in this category in as little as two business days!
whatUseek Directory Site Listings:
Aczel, Peter - University of Manchester - Philosophy and Foundations of Mathematics and Computing, Mathematical Logic, Categorical Logic.
Andrews, Peter B. - Carnegie Mellon University - type theory, automated theorem proving.
Avigad, Jeremy - Carnegie Mellon University - proof theory, constructive mathematics, proof complexity, and the history and philosophy of mathematics.
Awodey, Steve - Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
Baldwin, John T. - University of Illinois, Chicago - model theory (finite and infinite).
Barendregt, Henk - University of Nijmegen - Interested in lambda calculus, type theory and formalising mathematical vernacular. Author of `The Lambda Calculus' (1980), still the definitive guide to the theory of the untyped lambda calculus.
Bartoszynski, Tomek - Boise State University - set theory.
Bellin, Gianluigi - University of Leeds - Interested in proof theory, the formulae-as-types correspondence and semantics of programming languages.
Berline, Chantal - University of Paris 7 - lambda calculus.
Blass, Andreas R. - University of Michigan, Ann Arbor - set theory, finite combinatorics, theoretical computer science.
Bolotov, Alexander - Manchester Metropolitan University - extension of the clausal temporal resolution method to branching-time temporal logics.
Bouscaren, Elisabeth - CNRS / University of Paris 7 - model theory and algebraic geometry.
Buechler, Steven - University of Notre Dame - model theory.
Burris, Stanley - University of Waterloo - universal algebra, logic, computers.
Buss, Samuel R. - UC San Diego - proof theory, computational complexity.
Carnielli, Walter A. - State University of Campinas, Brazil - foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.
Chaitin, Gregory J. - IBM Research - algorithmic information theory.
Chatzidakis, Zoé - CNRS / University of Paris 7 - model theory.
Cholak, Peter - University of Notre Dame - recursion theory.
Cummings, James - Carnegie Mellon University - set theory.
|
|
|
|
|
|
|
|
|
|
