Directories Logic and Foundations Math

This category lists sites that link to lots of logic sites. While an attempt is made by the editor to make it link to all logic directories that don't link to themselves, it is a well-known fact that any such attempt must fail.

• ASL members - List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.
• Knowledge Representation - With Automated Reasoning, Computational Logics and Advanced Databases. math Projects, people, conferences and specific resources.
• 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.
• Logic Links - Gustavus Philosophy Department.
• Logic Page - Maintained by Christian Gottschall, Vienna philosophy department.
• Description Logics - Maintained by Carsten Lutz.
• 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.
• Mathematical Logic and Foundations - Section of Math Guide.
• Logic and Set Theory - Category of Topics in Mathematics (MathArchives).

   MySQL - Cache Direct