Directories

Directories Links

• 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.
  
• Logic Programming Section of WWW Virtual Library.
  
• Research groups in Logic and Theoretical Computer Science Maintained by Anton Setzer, Uppsala.
  
• Description Logics Maintained by Carsten Lutz.
  
• Logic Page Maintained by Christian Gottschall, Vienna philosophy department.
  
• Logic on the World Wide Web Based on the compilation of Boris Piwinger (Mathematical Logic Group at the University of Bonn).
  
• Stanford Encyclopedia of Logic Technology A compendium of information including theoretical material, an index to currently available technology, and a survey of applications.
  
• Mathematical Logic around the world A service provided by the Mathematical Logic Group in Bonn
  
• Logic and Set Theory Category of Topics in Mathematics (MathArchives).
  
• Mathematical Logic and Foundations Section of Math Guide.
  
• Formal Logic Directory of encyclopedia articles and related websites. [epistemelinks.com]
  
• ASL members List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.
  
• Logic and Philosophy of Science Category of Philosophy in Cyberspace directory.
  
• Logic Links Gustavus Philosophy Department.
  
• Logic and Set Theory Groups and conferences.