ASL members «
http://www.math.ucla.edu/~hbe/aslweb.html | | List of web pages of association for symbolic logic members. maintained by herbert enderton. |
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. |
Description Logics «
http://dl.kr.org/ | | Maintained by carsten lutz. |
Knowledge Representation «
http://www.inf.unibz.it/~franconi/kr.html | | With automated reasoning , computational logics and advanced databases. projects , people , conferences and specific resources. |
Logic and Set Theory «
http://www.math.ufl.edu/~jal/orgs.html | | Groups and conferences. |
Logic and Set Theory «
http://archives.math.utk.edu/topics/logic.html | | Category of topics in mathematics (matharchives). |
Logic Links «
http://www.gustavus.edu/academics/philosophy/llogic.html | | Gustavus philosophy department. |
Logic on the World Wide Web «
http://www-phil.tamu.edu/Philosophy/logic.html | | Based on the compilation of boris piwinger (mathematical logic group at the university of bonn). |
Logic Page «
http://logik.phl.univie.ac.at/~chris/logic.html | | Maintained by christian gottschall , vienna philosophy department. |
Logic Programming «
http://vl.fmnet.info/logic-prog/ | | Section of www virtual library. |
Mathematical Logic and Foundations «
http://www.mathguide.de/cgi-bin/ssgfi/anzeige.pl?db=math&sc=03 | | Section of math guide. |
Mathematical Logic around the world «
http://world.logic.at/ | | A service provided by the mathematical logic group in bonn |
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. |
