Authors:
Jon Barwise (barwise@indiana.edu)
John Etchemendy (etch@csli.stanford.edu)
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 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.
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.
See the WWW page or contact the authors.