 |
/ Home
/ Web Directory / Science / Math / Logic and Foundations / Directories (16)
Web Sites in Category 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 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 service provided by the Mathematical Logic Group in Bonn
Research groups in Logic and Theoretical Computer Science - Maintained by Anton Setzer, Uppsala.
|
|
|
|
