Directory

Directory Help Search only in DirectoriesSearch the Web

Directories

Science > Math > Logic and Foundations > Directories

Go to Directory Home

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	Description Logics - http://dl.kr.org/ Maintained by Carsten Lutz.
	Mathematical Logic Around the World - http://world.logic.at/ Compilation of links by Boris Piwinger.
	Knowledge Representation - http://www.inf.unibz.it/~franconi/kr.html With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.
	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.
	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.

	Logic and Set Theory - http://archives.math.utk.edu/topics/logic.html Category of Topics in Mathematics (MathArchives).
	ASL members - http://www.math.ucla.edu/~hbe/aslweb.html List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.
	Logic Page - http://logik.phl.univie.ac.at/~chris/logic.html Maintained by Christian Gottschall, Vienna philosophy department.
	Logic Links - http://gustavus.edu/academics/philosophy/llogic.html Gustavus Philosophy Department.
	Logic and Set Theory - http://www.math.ufl.edu/~jal/orgs.html Groups and conferences.

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

Modified by Google - ©2008 Google
Advertise with Us - Jobs, Press, Cool Stuff...