Go Home
AI Repository Logo in GIF format


Logic and Reasoning

This site is no longer being maintained.  Sorry.

[OUTLINE - TUTORIAL - TOOLS - RESOURCES - SUBMIT]


General
Resources

  • The Stanford Encyclopedia of Logic Technology provides links to logic tools, sites, and educational materials.
  • The Database of Existing Mechanized Reasoning Systems archive at Stanford University.
  • Arlet Ottens edits a page containing numerous logic puzzles.
  • This logic site archive is maintained by the Mathematical Logic Group in Bonn, Germany.
  • A site in the UK provides a primer in set theory, the understanding of which is useful in some logical discussions.
  • The USENET discussion group sci.logic.

  • Submit

    Submit a general resource on Logic and Reasoning.

    1996-2003. All rights reserved.
    Last updated on Tuesday, April 13, 2004 04:08:12 PM.
    Suggestion Box.

    visitors since April 8, 1999 (counter provided by LinkExchange)