Slider Directory: Directories

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.

http://www.nd.edu/~cholak/computability/computability.html

Logic Page

Maintained by Christian Gottschall, Vienna philosophy department.

http://logik.phl.univie.ac.at/~chris/logic.html

ASL members

List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.

http://www.math.ucla.edu/~hbe/aslweb.html

Formal Logic

Directory of encyclopedia articles and related websites. [epistemelinks.com]

http://www.epistemelinks.com/Main/Topics.asp?TopicCode=Logi

Logic on the World Wide Web

Based on the compilation of Boris Piwinger (Mathematical Logic Group at the University of Bonn).

http://www-phil.tamu.edu/Philosophy/logic.html

Help build the largest Human-edited directory on the web

Submit a Site | Open Directory Project | Become an Editor