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