Search for
Home > Science > Math > Logic and Foundations >

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. []
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 logic-programming systems, meetings, books and related information.
Help build the largest human-edited directory on the web.
  Submit a Site - Open Directory Project - Become an Editor  
About   Help   Content Filter   Terms   Privacy Policy

© 2018 whatUseek