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 th…
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 on the World Wide Web
Based on the compilation of Boris Piwinger (Mathematical Logic Group at the University of Bonn).
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, University of Wales Swansea.
Showing 20–15 of 15 results