Mathematical logic

BibliographyGeneralJournals
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