Search for
Home > Science > Math > Logic and Foundations >

New! Submit a site
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.

[ 1 2 3 4 5 6 ]
Help build the largest human-edited directory on the web.
  Submit a Site - Open Directory Project - Become an Editor  
About   Help   Content Filter   Terms   Privacy Policy

© 2018 whatUseek