Directories (Logic and Foundations)

Directories Sites:

Logic Links Logic Links: Gustavus Philosophy Department. (Directories) http://www.gac.edu/oncampus/academics/philosophy/llogic.html Australian Logic Home Page Australian Logic Home Page: Lists institutions, research groups and individuals; updated 1996. (Directories) http://www.cse.unsw.edu.au/~ksg/AusLogic/ ASL members ASL members: List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton. (Directories) http://www.math.ucla.edu/~hbe/aslweb.html Description Logics Description Logics: Maintained by Carsten Lutz. (Directories) http://dl.kr.org/ Formal Logic Formal Logic: Directory of encyclopedia articles and related websites. [epistemelinks.com] (Directories) http://www.epistemelinks.com/Main/Topics.asp?TopicCode=Logi Computability Theory 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. (Directories) http://www.nd.edu/~cholak/computability/computability.html Logic Related Links Logic Related Links: By Christian Urban. (Directories) http://www.cl.cam.ac.uk/~cu200/logic.html Logic on the World Wide Web Logic on the World Wide Web: Based on the compilation of Boris Piwinger (Mathematical Logic Group at the University of Bonn). (Directories) http://www-phil.tamu.edu/Philosophy/logic.html Logic Programming Logic Programming: Section of WWW Virtual Library. (Directories) http://www.comlab.ox.ac.uk/archive/logic-prog.html Logic and Set Theory Logic and Set Theory: Category of Topics in Mathematics (MathArchives). (Directories) http://archives.math.utk.edu/topics/logic.html Mathematical Logic and Foundations Mathematical Logic and Foundations: Section of Math Guide. (Directories) http://www.MathGuide.de/cgi-bin/ssgfi/anzeige.pl?db=math&sc=03 Knowledge Representation Knowledge Representation: With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources. (Directories) http://www.cs.man.ac.uk/~franconi/kr.html Mathematical Logic around the world Mathematical Logic around the world: A service provided by the Mathematical Logic Group in Bonn (Directories) http://www.uni-bonn.de/logic/world.html Research groups in Logic and Theoretical Computer Science Research groups in Logic and Theoretical Computer Science: Maintained by Anton Setzer, Uppsala. (Directories) http://www.math.uu.se/logik/logic-server/index.html Logic Page Logic Page: Maintained by Christian Gottschall, Vienna philosophy department. (Directories) http://logik.phl.univie.ac.at/~chris/logic.html