• Arts
• Business
• Computers
• Games
• Health
• Home
• Kids and Teens
• News
• Recreation
• Reference
• Regional
• Science
• Shopping
• Society
• Sports

Logic and Foundations

• 61
• Friedman, Sy D.
• University of Vienna - Set theory.

• 62
• Goldstern, Martin
• University of Technology, Vienna - Set theory.

• 63
• Grossberg, Rami
• Carnegie Mellon University - Model theory.

• 64
• Guglielmi, Alessio
• Technische Universitaet Dresden - Proof Theory.

• 65
• Herwig, Bernhard
• University of Freiburg - Model theory.

• 66
• Howard, Paul
• Eastern Michigan University - Axiom of choice.

• 67
• Jech, Thomas
• Pennsylvania State University - Set theory.

• 68
• Kaiser, Klaus
• University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.

• 69
• Kanamori, Akihiro
• Boston University - Set theory.

• 70
• Kechris, Alexander S.
• Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.

• 71
• Kunen, Kenneth
• University of Wisconsin, Madison - Set theory.

• 72
• 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.

• 73
• Lakemeyer, Gerhard
• Aachen University of Technology - Knowledge-based systems.

• 74
• Leivant, Daniel
• Indiana University - Computational complexity.

• 75
• Lempp, Steffen
• University of Wisconsin, Madison - Computability, recursion theory.

• 76
• Levesque, Hector
• University of Toronto - Knowledge representation.

• 77
• Luo, Zhaohui
• University of London, UK - Type theory, theoretical computer science and semantics of natural languages.

• 78
• Makowsky, Johann (Janos) A.
• Technion, Israel - Logic in computer science, finite model theory.

• 79
• Matiyasevich, Yuri
• Steklov Institute, St. Petersburg - Algorithmical number theory.

• 80
• Miller, Dale
• INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages.