Directory: Top/Science/Math/Logic_and

Top / Science / Math / Logic_and_Foundations / People /

Gerla, Giangiacomo
University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.
http://www.dmi.unisa.it/people/gerla/www/
Unisa.it ~ Site Info Whois Trace Route RBL Check

Goldstern, Martin
University of Technology, Vienna - Set theory.
http://info.tuwien.ac.at/goldstern/
Tuwien.ac.at ~ Site Info Whois Trace Route RBL Check

Grossberg, Rami
Carnegie Mellon University - Model theory.
http://www.math.cmu.edu/users/rami/
Cmu.edu ~ Site Info Whois Trace Route RBL Check

Hjorth, Greg
UCLA - Descriptive set theory, countable models, definable equivalence relations.
http://www.math.ucla.edu/~greg/
Ucla.edu ~ Site Info Whois Trace Route RBL Check

Hodges, Wilfrid
University of London - Model theory.
http://www.maths.qmw.ac.uk/~wilfrid/
Qmw.ac.uk ~ Site Info Whois Trace Route RBL Check

Holmes, Randall
Boise State University - Set theory: New Foundations, automated theorem proving.
http://diamond.boisestate.edu/~holmes/
Boisestate.edu ~ Site Info Whois Trace Route RBL Check

Howard, Paul
Eastern Michigan University - Axiom of choice.
http://www.emunix.emich.edu/~phoward/
Emich.edu ~ Site Info Whois Trace Route RBL Check

Hustadt, Ullrich
University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
http://www.csc.liv.ac.uk/~ullrich/
Liv.ac.uk ~ Site Info Whois Trace Route RBL Check

Hyland, J. Martin E.
University of Cambridge - Categorical logic, game semantics and logic in computer science.
http://www.dpmms.cam.ac.uk/~martin/index.html
Cam.ac.uk ~ Site Info Whois Trace Route RBL Check

Jech, Thomas
Pennsylvania State University - Set theory.
http://www.math.psu.edu/jech/
Psu.edu ~ Site Info Whois Trace Route RBL Check