Directory: Top/Science/Math/Logic_and

Top / Science / Math / Logic_and_Foundations / People /

Jockusch, Carl G.
University of Illinois, Urbana Champaign - Recursion theory.
http://www.math.uiuc.edu/~jockusch/
Uiuc.edu ~ Site Info Whois Trace Route RBL Check

Junker, Markus
University of Freiburg - Model theory.
http://sunpool.mathematik.uni-freiburg.de/home/junker/Junker-eng.html
Uni-freiburg.de ~ Site Info Whois Trace Route RBL Check

Kaiser, Klaus
University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.
http://math.uh.edu/~klaus/
Uh.edu ~ Site Info Whois Trace Route RBL Check

Kanamori, Akihiro
Boston University - Set theory.
http://math.bu.edu/people/aki/
Bu.edu ~ Site Info Whois Trace Route RBL Check

Kaye, Richard
University of Birmingham - Model theory.
http://for.mat.bham.ac.uk/R.W.Kaye/
Bham.ac.uk ~ Site Info Whois Trace Route RBL Check

Kechris, Alexander S.
Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.
http://www.math.caltech.edu/people/kechris.html
Caltech.edu ~ Site Info Whois Trace Route RBL Check

Kunen, Kenneth
University of Wisconsin, Madison - Set theory.
http://www.math.wisc.edu/~kunen/
Wisc.edu ~ Site Info Whois Trace Route RBL Check

Lafont, Yves
University of Marseille II - Linear logic, lambda calculus, proof theory, term rewriting. Lafont invented the theory of interaction nets, an elegant theory of graph rewriting.
http://iml.univ-mrs.fr/~lafont/welcome.html
Univ-mrs.fr ~ Site Info Whois Trace Route RBL Check

Larson, Jean A.
University of Florida - Set theory, combinatorics.
http://www.math.ufl.edu/~jal/
Ufl.edu ~ Site Info Whois Trace Route RBL Check

Lascar, Daniel
CNRS / University of Paris 7 - Model theory.
http://www.logique.jussieu.fr/www.lascar/
Jussieu.fr ~ Site Info Whois Trace Route RBL Check