Directory: Top/Science/Math/Logic_and

Top / Science / Math / Logic_and_Foundations / People /

Cummings, James
Carnegie Mellon University - Set theory.
http://www.math.cmu.edu/users/jcumming/
Cmu.edu ~ Site Info Whois Trace Route RBL Check

Danos, Vincent
University of Paris 7 - Proof theory, linear logic.
http://www.logique.jussieu.fr/www.danos/
Jussieu.fr ~ Site Info Whois Trace Route RBL Check

Ebbinghaus, Heinz-Dieter
University of Freiburg - Finite model theory.
http://logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.html
Uni-freiburg.de ~ Site Info Whois Trace Route RBL Check

Enderton, Herbert B.
UCLA - Recursion theory, definability theory.
http://www.math.ucla.edu/~hbe/
Ucla.edu ~ Site Info Whois Trace Route RBL Check

Etchemendy, John
Stanford University - Philosophical logic, semantics, and philosophy of language.
http://www-csli.stanford.edu/hp/etchemendy.html
Stanford.edu ~ Site Info Whois Trace Route RBL Check

Feferman, Solomon
Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
http://math.stanford.edu/~feferman/
Stanford.edu ~ Site Info Whois Trace Route RBL Check

Fitting, Melvin
City University of New York - Logic in computer science, mathematics, philosophy.
http://comet.lehman.cuny.edu/fitting/
Cuny.edu ~ Site Info Whois Trace Route RBL Check

Flum, Jörg
University of Freiburg - Finite model theory.
http://logik.mathematik.uni-freiburg.de/personen/Flum.html
Uni-freiburg.de ~ Site Info Whois Trace Route RBL Check

Forster, T. E.
University of Cambridge - Set theory, type theory.
http://www.dpmms.cam.ac.uk/~tf/
Cam.ac.uk ~ Site Info Whois Trace Route RBL Check

Gehrke, Mai
New Mexico State University - Nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices.
http://www.math.nmsu.edu/mgehrke/mgehrke.html
Nmsu.edu ~ Site Info Whois Trace Route RBL Check