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.
Formal Logic: Directory of encyclopedia articles and related websites. [epistemelinks.com]
Knowledge Representation: With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.
Logic and Set Theory: Groups and conferences.
Logic and Set Theory: Category of Topics in Mathematics (MathArchives).
Logic Links: Gustavus Philosophy Department.
Logic on the World Wide Web: Based on the compilation of Boris Piwinger (Mathematical Logic Group at the University of Bonn).
Logic Page: Maintained by Christian Gottschall, Vienna philosophy department.
Logic Programming: Section of WWW Virtual Library.
Logic Related Links: By Christian Urban.
Mathematical Logic and Foundations: Section of Math Guide.
Mathematical Logic around the world: A service provided by the Mathematical Logic Group in Bonn
Research groups in Logic and Theoretical Computer Science: Maintained by Anton Setzer, University of Wales Swansea.