[sci.logic] Logic courseware for the Mac

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.