New! Submit a site
whatUseek Collection Sites (submit a site ):
Give your site great
placement in this category in as little as two business days!
whatUseek Directory Site Listings:
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 the field. Maintained by Peter Cholak.
Description Logics  Maintained by Carsten Lutz.
Formal Logic  Directory of encyclopedia articles and related websites. [epistemelinks.com]
Logic Links  Gustavus Philosophy Department.
Logic Page  Maintained by Christian Gottschall, Vienna philosophy department.
Logic and Philosophy of Science  Category of Philosophy in Cyberspace directory.
Logic and Set Theory  Groups and conferences.
Logic and Set Theory  Groups and conferences.
Logic on the World Wide Web  Based on the compilation of Boris Piwinger (Mathematical Logic Group at the University of Bonn).
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.
Stanford Encyclopedia of Logic Technology  It includes information about people, organizations, and conferences concerned with the development, deployment, and application of logic technology.
The World Wide Web Virtual Library: Logic Programming  Affiliated with the comp.lang.prolog newsgroup this repository includes general information, Prolog, Window system interfaces, other logicprogramming systems, meetings, books and related information.
