




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 formulaeastypes 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 branchingtime 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 nonclassical logics, manyvalued 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.









