Language proof and logic : text/software package /
Barwise, Jon.
Etchemendy, John,1952-
Stanford, Calif. : CSLI Publications,
c2002.
Title from container.
Contents of disc include updated version of Tarski's World program, Fitch (program), Boole (program), Submit (online grading facility) and the textbook in Adobe PDF format.
Includes indexes.
System requirements for CD-ROM: IBM-compatible PC (Pentium); Windows 95/98/NT 4.0; JRE (Java Runtime Environment) 1.1.8 or higher; Macintosh, System 8.1 or higher, MRJ (Macintosh Runtime for Java) 2.1.2 or higher; 32Mb RAM with virtual memory turned on; Adobe Acrobat reader. All of the required software is included on the CD-ROM. To submit files to the Grade grinder using the Submit application, access to the Internet is required.
Logic.