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.

Seite vorschlagen - Open Directory Project - Werde Editor

Der Inhalt dieses Verzeichnisses basiert auf dem Open Directory und kann modifiziert sein.

Powered by DWodp live version 1.2.4 Copyright © 2003-2004 Dominion Web