Add your Web Site - Logic and Foundations - Directories Add Search to your Site

Search for:
Results per page: Output format: Match: Pages from:
 
 
 
 Show pages from IntraNet   Show all pages
 DIRECTORY/Science/Tech/Math/Logic and Foundations/Directories (11)
i0ASL members - http://www.math.ucla.edu/~hbe/aslweb.html - List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.
 
i0Computability 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.
 
i0Description Logics - http://dl.kr.org/ - Maintained by Carsten Lutz.
 
i0Knowledge Representation - http://www.inf.unibz.it/~franconi/kr.html - With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.
 
i0Logic Links - http://gustavus.edu/academics/philosophy/llogic.html - Gustavus Philosophy Department.
 
i0Logic Page - http://logik.phl.univie.ac.at/~chris/logic.html - Maintained by Christian Gottschall, Vienna philosophy department.
 
i0Logic and Set Theory - http://archives.math.utk.edu/topics/logic.html - Category of Topics in Mathematics (MathArchives).
 
i0Logic and Set Theory - http://www.math.ufl.edu/~jal/orgs.html - Groups and conferences.
 
i0Mathematical Logic Around the World - http://world.logic.at/ - Compilation of links by Boris Piwinger.
 
i0Mathematical Logic and Foundations - http://www.mathguide.de/cgi-bin/ssgfi/anzeige.pl?db=math&sc=03 - Section of Math Guide.
 
i0Research groups in Logic and Theoretical Computer Science - http://www.cs.swan.ac.uk/~csetzer/logic-server/ - Maintained by Anton Setzer, University of Wales Swansea.
 
 E-Mail: webmaster@teradex.com Copyright © 2007 Aaex Corp. all rights reserved.
   
Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
This site is presented in modified Open Directory form