Directories

ASL members - - List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.

Computability Theory - - Information on this site includes a Bibliographic Database for Computability Theory, a list of Open Questions in Recursion Theory as well as links to many researchers working in the field. Maintained by Peter Cholak.

Description Logics - - Maintained by Carsten Lutz.

Knowledge Representation - - With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.

Logic and Set Theory - - Category of Topics in Mathematics (MathArchives).

Logic and Set Theory - - Groups and conferences.

Logic Links - - Gustavus Philosophy Department.

Logic Page - - Maintained by Christian Gottschall, Vienna philosophy department.

Mathematical Logic and Foundations - - Section of Math Guide.

Mathematical Logic Around the World - - Compilation of links by Boris Piwinger.

Research groups in Logic and Theoretical Computer Science - - Maintained by Anton Setzer, University of Wales Swansea.