Directory: Top/Science/Math/Logic_and

Top / Science / Math / Logic_and_Foundations / People /

Welch, Philip
University of Bristol - Set theory, inner models, descriptive set theory.
http://www.maths.bris.ac.uk/~mapdw/
Bris.ac.uk ~ Site Info Whois Trace Route RBL Check

White, Graham
Queen Mary and Westfield College, London - Philosophy and linear logic.
http://www.dcs.qmw.ac.uk/~graham/
Qmw.ac.uk ~ Site Info Whois Trace Route RBL Check

Zach, Richard
University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic.
http://www.ucalgary.ca/~rzach/
Ucalgary.ca ~ Site Info Whois Trace Route RBL Check

Ziegler, Martin
University of Freiburg - Model theory.
http://logik.mathematik.uni-freiburg.de/personen/Ziegler.html
Uni-freiburg.de ~ Site Info Whois Trace Route RBL Check

Hindley, J. R.
University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory.
http://www-maths.swan.ac.uk/staff/jrh/
Swan.ac.uk ~ Site Info Whois Trace Route RBL Check

Hähnle, Reiner
Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification.
http://www.cs.chalmers.se/~reiner/
Chalmers.se ~ Site Info Whois Trace Route RBL Check

Chatzidakis, Zoé
CNRS/University of Paris 7 - Model theory.
http://www.logique.jussieu.fr/www.zoe/
Jussieu.fr ~ Site Info Whois Trace Route RBL Check

Darnière, Luck
University of Angers, France - Model theory.
http://math.univ-angers.fr/~darniere/home_uk.html
Univ-angers.fr ~ Site Info Whois Trace Route RBL Check

Simpson, George
Penn State University - Fuondations of mathematics and logic.
http://www.math.psu.edu/simpson/
Psu.edu ~ Site Info Whois Trace Route RBL Check

Pym, David J.
University of Bath, UK - Semantics of programming languages, type theory, proof-search, logic programming, theorem proving.
http://www.bath.ac.uk/~cssdjp/
Bath.ac.uk ~ Site Info Whois Trace Route RBL Check