|
Logic Links -
Gustavus Philosophy Department.
http://gustavus.edu/academics/philosophy/llogic.html Logic and Set Theory -
Groups and conferences.
http://www.math.ufl.edu/~jal/orgs.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 Logic and Set Theory -
Category of Topics in Mathematics (MathArchives).
http://archives.math.utk.edu/topics/logic.html 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/ Knowledge Representation -
With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.
http://www.inf.unibz.it/~franconi/kr.html ASL members -
List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.
http://www.math.ucla.edu/~hbe/aslweb.html Mathematical Logic and Foundations -
Section of Math Guide.
http://www.mathguide.de/cgi-bin/ssgfi/anzeige.pl?db=math&sc=03 Mathematical Logic Around the World -
Compilation of links by Boris Piwinger.
http://world.logic.at/ Description Logics -
Maintained by Carsten Lutz.
http://dl.kr.org/ Logic Page -
Maintained by Christian Gottschall, Vienna philosophy department.
http://logik.phl.univie.ac.at/~chris/logic.html
Debt Help - Hotel Las Vegas - Loans - Secured Loans - Buy Anything On eBay--BEGIN VALIDATION CODE-- C cAdXuBxW j ReByWmSpCbClEfHf SpAcT kDjXqXuHnW uQ fElMhObAbTcDpCaJtK fVsEuLoFaS xH gWpNoE qJ qZdYxXkN aY p PnEyQ rXrL yPxOz MpD wDsGzPtMsSpG pXqPoJ uQiMlAk Ya X vViH bFkY iHdZhMgEeRxFsAnUw FpAq GqBkTpElDrXbCwI iTpCjGbTnK qH mKlOgRfAoSyAgTdWpT iJiTd L iKzHnIzB r HoWeQ y SrGhDtLxN uVpU aQbRnOkItPbHzOvS uYzOtYjWe hohositeX2006 --END VALIDATION CODE-- |
|