Directories

Do you need Directories?
Check it out the following sites about Directories, or search Directories

• Top/Science/Math/Directories

» ASL members - List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.
» Australian Logic Home Page - Lists institutions, research groups and individuals; updated 1996.
» 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.
» Formal Logic - Directory of encyclopedia articles and related websites. [epistemelinks.com]
» Knowledge Representation - With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.
» Logic Links - Gustavus Philosophy Department.
» Logic Page - Maintained by Christian Gottschall, Vienna philosophy department.
» Logic Programming - Section of WWW Virtual Library.
» Logic and Set Theory - Category of Topics in Mathematics (MathArchives).
» Logic on the World Wide Web - Based on the compilation of Boris Piwinger (Mathematical Logic Group at the University of Bonn).
» Mathematical Logic and Foundations - Section of Math Guide.
» Mathematical Logic around the world - A service provided by the Mathematical Logic Group in Bonn
» Research groups in Logic and Theoretical Computer Science - Maintained by Anton Setzer, Uppsala.
» Stanford Encyclopedia of Logic Technology - A compendium of information including theoretical material, an index to currently available technology, and a survey of applications.