Mathematical logic
Bibliography
General
Journals
Associations
Departments
Disciplines
Personal home pages
General
Logic links
Mathematical logic around the world
Ultramath 2008 (Pisa)
Associations
Association for Symbolic Logic
Disciplines
Artificial intelligence
Boolean functions
Complexity theory
Formal concept analysis
Functional programming
Lambda calculus
Model theory
Nonstandard analysis
Set theory
Departments
Bonn
Heidelberg
Leeds
München
Logik & Informatik
Münster
Pisa
Logic programming
Tübingen
Mathematik
Tübingen
Informatik
Wien
Uni
Personal home pages
Matthias Aschenbrenner in Chicago
Matthias Baaz in Wien
Wilfried Buchholz in München
Marcello D'Agostino in Ferrara
Ivo Düntsch in Newtonabbey
Ronald Fagin in San José
Christian Gottschall in Wien
Bernhard Gramlich in Wien
Ian Hodkinson in London
Alexander Kechris in Pasadena
Alexander Leitsch in Wien
Giorgio Levi in Pisa
Johann Makowsky in Haifa
Yuri Matiyasevich in St. Petersburg
Thoralf Räsch in Bonn
Helmut Schwichtenberg in München
Moshe Vardi in Houston
Matteo Viale in Torino
Stanley Wainer in Leeds
Richard Zach in Wien
Journals
Notre Dame J. Formal Logic