Science: Math: Logic and Foundations: Directories:

Open Directory - 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.
Logic Links - Gustavus Philosophy Department.
Logic Page - Maintained by Christian Gottschall, Vienna philosophy department.
Logic and Set Theory - Groups and conferences.
Logic and Set Theory - Category of Topics in Mathematics (MathArchives).
Mathematical Logic Around the World - Compilation of links by Boris Piwinger.
Mathematical Logic and Foundations - Section of Math Guide.
Research groups in Logic and Theoretical Computer Science - Maintained by Anton Setzer, University of Wales Swansea.

"Directories" search on: AOL - Ask - Bing - Gigablast - Google - Lycos - Yahoo - Yippy

Volunteer to edit this category.

Visit our sister sites mozilla.org | MusicMoz | Wikipedia

Last update: Tuesday, May 27, 2008 9:07:43 PM EDT - edit