barwise@csli.STANFORD.EDU (Jon Barwise) (08/10/88)
John Etchemendy and I have developed two logic courseware packages for the Macintosh, Turing's World and Tarski's World. Turing's World is for use in introductory courses in computability and automata theory, and Tarski's World is for use in introductory courses in first-order logic. With text/manuals, they cost about $15.00 each. We have recently put together hypercard stacks describing and demonstrating each of these programs. The hypercard stacks are available via anonymous ftp from csli.stanford.edu. They can be found as turing.hqx and tarski.hqx on the directory usr/ftp/pub. We are also willing to send copies of the hypercard stacks if you send a Mac disk and self-addressed envelope to: Jon Barwise and John Etchemendy Center for the Study of Language and Information Ventura Hall Stanford University Stanford, CA 94305 These programs (and hypercard stacks) are ONLY available for the Macintosh.