Directory: Top/Science/Math/Logic_and

Top / Science / Math / Logic_and_Foundations / People /

Lempp, Steffen
University of Wisconsin, Madison - Computability, recursion theory.
http://www.math.wisc.edu/~lempp/
Wisc.edu ~ Site Info Whois Trace Route RBL Check

Lessmann, Olivier
University of Illinois, Chicago - Model theory.
http://www.math.uic.edu/~lessmann/
Uic.edu ~ Site Info Whois Trace Route RBL Check

Makowsky, Johann (Janos) A.
Technion, Israel - Logic in computer science, finite model theory.
http://www.cs.technion.ac.il/~janos/index.html
Technion.ac.il ~ Site Info Whois Trace Route RBL Check

Marcos, João
State University of Campinas, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics.
http://www.geocities.com/jm_logica/
Geocities.com ~ Site Info Whois Trace Route RBL Check

Marker, David
University of Illinois, Chicago - Model theory.
http://www.math.uic.edu/~marker/
Uic.edu ~ Site Info Whois Trace Route RBL Check

Matiyasevich, Yuri
Steklov Institute, St. Petersburg - Algorithmical number theory.
http://logic.pdmi.ras.ru/~yumat
Ras.ru ~ Site Info Whois Trace Route RBL Check

McKenzie, Ralph
Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.
http://www.math.vanderbilt.edu/~mckenzie/
Vanderbilt.edu ~ Site Info Whois Trace Route RBL Check

Mitchell, William
University of Florida - Set theory.
http://www.math.ufl.edu/~mitchell/
Ufl.edu ~ Site Info Whois Trace Route RBL Check

Moschovakis, Yiannis N.
UCLA - Set theory, recursion theory.
http://www.math.ucla.edu/~ynm/
Ucla.edu ~ Site Info Whois Trace Route RBL Check

Nelson, Edward
Princeton University - Bounded arithmetic, automated proof verification (QED).
http://www.math.princeton.edu/~nelson/index.html
Princeton.edu ~ Site Info Whois Trace Route RBL Check