Top > Science > Math > Logic and Foundations > Directories

» 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. Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and may have been modified by clixShare