Directories Logic and Foundations Math

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.

Top: Science: Math: Logic and Foundations: Directories

Description Logics - Maintained by Carsten Lutz.
Logic and Set Theory - Category of Topics in Mathematics (MathArchives).
ASL members - List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.
Logic Links - Gustavus Philosophy Department.
Logic Page - Maintained by Christian Gottschall, Vienna philosophy department.
Knowledge Representation - With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.
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.
Research groups in Logic and Theoretical Computer Science - Maintained by Anton Setzer, University of Wales Swansea.
Mathematical Logic Around the World - Compilation of links by Boris Piwinger.
Mathematical Logic and Foundations - Section of Math Guide.

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Click here to add, change or remove your listing

MySQL - Cache Direct sec.