Mathematical Logic around the world - A service provided by the Mathematical Logic Group in Bonn

Logic Programming - Section of WWW Virtual Library.

Logic and Set Theory - Groups and conferences.

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.

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

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

Stanford Encyclopedia of Logic Technology - A compendium of information including theoretical material, an index to currently available technology, and a survey of applications.

Logic Links - Gustavus Philosophy Department.

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

Formal Logic - Directory of encyclopedia articles and related websites. [epistemelinks.com]

Logic on the World Wide Web - Based on the compilation of Boris Piwinger (Mathematical Logic Group at the University of Bonn).

Australian Logic Home Page - Lists institutions, research groups and individuals; updated 1996.

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

Mathematical Logic and Foundations - Section of Math Guide.