Top » Science » Math » Logic_and_Foundations » Directories

Deprecated: Function eregi_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 128

Deprecated: Function ereg_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 129

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.

• 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.
• Computability Theory Directory of researchers working in computability theory, and list of open problems.
• 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 and Set Theory Groups and conferences.
• Logic and Set Theory Category of Topics in Mathematics (MathArchives).
• Logic Links Gustavus Philosophy Department.
• Logic on the World Wide Web Based on the compilation of Boris Piwinger (Mathematical Logic Group at the University of Bonn).
• Logic Page Maintained by Christian Gottschall, Vienna philosophy department.
• Logic Programming Section of WWW Virtual Library.
• Logic Related Links By Christian Urban.
• Mathematical Logic and Foundations Section of Math Guide.
• Mathematical Logic around the World A rich collection of links to logic-related websites.
• 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.

 

 

Copyright ©2000-2012 SPORT FR (63.34ms)

Apportez votre contribution à l'annuaire le plus complet du Web (avec évaluateurs « humains » !). Proposer un site - Open Directory Project - Devenir évaluateur de site