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.
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
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.
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
Maintained by Anton Setzer, Uppsala.