Xref: utzoo comp.sys.mac.hypercard:964 comp.sys.mac:19162 sci.logic:113 sci.philosophy.tech:719 Path: utzoo!attcan!uunet!lll-winken!lll-tis!ames!pasteur!ucbvax!decwrl!labrea!csli!barwise From: barwise@csli.STANFORD.EDU (Jon Barwise) Newsgroups: comp.sys.mac.hypercard,comp.sys.mac,sci.logic,sci.philosophy.tech Subject: Logic courseware for the Mac Keywords: logic, hypercard, Turing machines Message-ID: <4967@csli.STANFORD.EDU> Date: 9 Aug 88 20:40:32 GMT Reply-To: barwise@csli.UUCP (Jon Barwise) Organization: Center for the Study of Language and Information, Stanford U. Lines: 21 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.