Home |
Directories (11) Sites:
» ASL members
List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton. http://www.math.ucla.edu/~hbe/aslweb.html » 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. http://www.nd.edu/~cholak/computability/computability.html » Knowledge Representation
With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources. http://www.inf.unibz.it/~franconi/kr.html » Logic Page
Maintained by Christian Gottschall, Vienna philosophy department. http://logik.phl.univie.ac.at/~chris/logic.html » Logic and Set Theory
Category of Topics in Mathematics (MathArchives). http://archives.math.utk.edu/topics/logic.html » Mathematical Logic Around the World
Compilation of links by Boris Piwinger. http://world.logic.at/ » Mathematical Logic and Foundations
Section of Math Guide. http://www.mathguide.de/cgi-bin/ssgfi/anzeige.pl?db=math&sc=03 » Research groups in Logic and Theoretical Computer Science
Maintained by Anton Setzer, University of Wales Swansea. http://www.cs.swan.ac.uk/~csetzer/logic-server/ This category needs an editor
Last Updated: 2007-01-02 17:54:53
The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com |