Math: Logic and Foundations: Directories

the entire directory only this category

Home : Math : Logic and Foundations : Directories
LINKS:
ASL members http://www.math.ucla.edu/~hbe/aslweb.html List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton. Australian Logic Home Page http://www.cse.unsw.edu.au/~ksg/AusLogic/ Lists institutions, research groups and individuals; updated 1996. 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. Formal Logic http://www.epistemelinks.com/Main/Topics.asp?TopicCode=Logi Directory of encyclopedia articles and related websites. [epistemelinks.com] Knowledge Representation http://www.cs.man.ac.uk/~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.gac.edu/oncampus/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://www.comlab.ox.ac.uk/archive/logic-prog.html Section of WWW Virtual Library. Logic Related Links http://www.cl.cam.ac.uk/~cu200/logic.html By Christian Urban. 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://www.uni-bonn.de/logic/world.html A service provided by the Mathematical Logic Group in Bonn

HOME | ADD A LINK | MODIFY A LINK | LOGIN

UFO Seek Forum is a growing community for discussion of UFO-Paranormal, mysterious and unexplained topics.