[T3] ================================================ AMAST Links 02 03

     Logic courseware: Turing's World, Tarski's World, Hyperproof

  WWW : http://csli-www.stanford.edu/hp/

  _Authors:_

   Jon Barwise (barwise@indiana.edu)
   John Etchemendy (etch@csli.stanford.edu)

**Tarski's World**

  The Macintosh version of Tarski's World is available in two ways,
either alone (called "Tarski's World 4.0") or as part of the logic
textbook/software package called _The Language of First-order Logic_,
by Barwise and Etchemendy.
  Tarski's World is also available for IBM-compatible computers
equipped with Microsoft Windows.

**Hyperproof**

  Hyperproof is proof system that allows the user to reason using both
sentences of first-order logic and blocks world diagrams similar to
those used in Tarski's World.  It is an excellent companion to Tarski's
World or The Language of First-order Logic.  It is presently available
only for the Macintosh.

**Turing's World**

  The new version allows the user to build finite state machines and
nondeterministic machines, in addition to Turing machines.
  It is currently available only on Macintosh.  A version of Turing's
World for IBM-compatible machines running Microsoft Windows is nearing
completion and should be available in Spring, 1995.

**Ordering Information**

  See the WWW page or contact the authors.