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

Logicians
New! Submit a site
 
whatUseek Directory Site Listings:
 
Shelah, Saharon - Rutgers University and Hebrew University - includes paper archive.
 
Shore, Richard A. - Cornell University - recursion theory.
 
Shramko, Yaroslav - State Pedagogical University, Kryvyi Rih, Ukraine - Intuitionistic and relevant logics.
 
Sieg, Wilfried - Carnegie Mellon University - proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.
 
Sipser, Michael - MIT - complexity theory.
 
Slaman, Theodore A. - UC Berkeley - recursion theory
 
Soare, Robert I. - University of Chicago - recursion theory.
 
Solovay, Robert M. - UC Berkeley.
 
Statman, Richard - Carnegie Mellon University - theory of computation, lambda calculus, combinatory logic.
 
Stewart, Charles - Boston University - Programming language theory, optimal reductions, graph reduction, linear logic, semantics of logic, formulae-as-types correspondence, continuation semantics.
 
Thiel, Christian - University of Erlangen-Nürnberg - history of logic.
 
Vickers, Steven - Imperial College, London - Interested in Geometric logic, topos theory, quantales and semantics of programming languages.
 
Wansing, Heinrich - Institute of Logic and the Philosophy of Science, Leipzig - substructural and non-classical logics, modal logic, proof-theoretic semantics, philosophy of logic, philosophy of language.
 
Welch, Philip - University of Bristol - set theory, inner models, descriptive set theory.
 
White, Graham - Queen Mary and Westfield College, London - Philosophy and linear logic.
 
Wilkie, Alex - Oxford University - Models of arithmetic.
 
Wilmers, George - University of Manchester - Applications of mathematical logic in the foundations of uncertain reasoning; Natural prior probability distributions in uncertain reasoning.
 
Zach, Richard - UC Berkeley - philosophy of mathematics, history and philosophy of logic, theory of proofs, and non-classical logics.
 
Ziegler, Martin - University of Freiburg - model theory.
 
Zilber, Boris - University of Oxford - model 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