Directories Logic and Foundations Math
Directories Logic and Foundations Math
Directories
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.
Top: Science: Math: Logic and Foundations: Directories:
-
- Maintained by Christian Gottschall, Vienna philosophy department.
-
- Section of WWW Virtual Library.
-
- With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.
-
- Directory of encyclopedia articles and related websites. [epistemelinks.com]
-
- Lists institutions, research groups and individuals; updated 1996.
-
- 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.
-
- Section of Math Guide.
-
- List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.
-
- Gustavus Philosophy Department.
-
- Category of Topics in Mathematics (MathArchives).
-
- Maintained by Anton Setzer, Uppsala.
-
- A service provided by the Mathematical Logic Group in Bonn
-
- By Christian Urban.
-
- Maintained by Carsten Lutz.
-
- Based on the compilation of Boris Piwinger (Mathematical Logic Group at the University of Bonn).
|
