- 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.
- 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.
