Logic and Foundations Directories
You have found the way to Directories on Logic and Foundations:
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. Help build the largest human-edited directory on the web.