Directory of Directories Resources

Home > Science > Math > Logic and Foundations > Directories

This category lists sites that link to lots of logic sites. While an attempt is made by the editor to make it link to all logic directories that don't link to themselves, it is a well-known fact that any such attempt must fail.

Resources in This Category

• Description Logics

  http://dl.kr.org/
  Maintained by Carsten Lutz.

• Logic and Set Theory

  http://archives.math.utk.edu/topics/logic.html
  Category of Topics in Mathematics (MathArchives).

• Logic Links

  http://gustavus.edu/academics/philosophy/llogic.html
  Gustavus Philosophy Department.

• Logic Page

  http://logik.phl.univie.ac.at/~chris/logic.html
  Maintained by Christian Gottschall, Vienna philosophy department.

• 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/
  Compilation of links by Boris Piwinger.

• 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.

 

Home > Science > Math > Logic and Foundations > Directories

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us