| 3. | 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.
www.nd.edu |
| 6. | Logic Page | | | Maintained by Christian Gottschall, Vienna philosophy department.
logik.phl.univie.ac.at |
| 7. | ASL members | | | List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.
www.math.ucla.edu |
| 8. | Formal Logic | | | Directory of encyclopedia articles and related websites. [epistemelinks.com]
www.epistemelinks.com |
| | |