Guest! Login/Join

DomainTools.com


 

Directories


Directory > Science > Math > Logic_and_Foundations > Directories



6 Listings - DR (10/10)6 Listings - DR (10/10) Description Logics - http://dl.kr.org/
Maintained by Carsten Lutz.
354 Listings - DR (10/10)354 Listings - DR (10/10) Computability Theory - http://www.nd.edu/~cholak/computability/computability.html
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.
8 Listings - DR (7/10)8 Listings - DR (7/10) Mathematical Logic Around the World - http://world.logic.at/
Compilation of links by Boris Piwinger.
80 Listings - DR (6/10)80 Listings - DR (6/10) Research groups in Logic and Theoretical Computer Science - http://www.cs.swan.ac.uk/~csetzer/logic-server/
Maintained by Anton Setzer, University of Wales Swansea.
713 Listings - DR (6/10)713 Listings - DR (6/10) ASL members - http://www.math.ucla.edu/~hbe/aslweb.html
List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.
70 Listings - DR (6/10)70 Listings - DR (6/10) Logic Links - http://gustavus.edu/academics/philosophy/llogic.html
Gustavus Philosophy Department.
10 Listings - DR (4/10)10 Listings - DR (4/10) Knowledge Representation - http://www.inf.unibz.it/~franconi/kr.html
With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.
440 Listings - DR (4/10)440 Listings - DR (4/10) Logic and Set Theory - http://archives.math.utk.edu/topics/logic.html
Category of Topics in Mathematics (MathArchives).
709 Listings - DR (4/10)709 Listings - DR (4/10) Logic and Set Theory - http://www.math.ufl.edu/~jal/orgs.html
Groups and conferences.
483 Listings - DR (0/10)483 Listings - DR (0/10) Logic Page - http://logik.phl.univie.ac.at/~chris/logic.html
Maintained by Christian Gottschall, Vienna philosophy department.
On Target - DR (0/10)On Target - DR (0/10) Mathematical Logic and Foundations - http://www.mathguide.de/cgi-bin/ssgfi/anzeige.pl?db=math&sc=03
Section of Math Guide.

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

Domain Tools analysis of DMOZ top listed domains