Language, proof, and logic / Jon Barwise, John Etchemendy ; [in collaboration with] Gerard Allwein, Dave Barker-Plummer, and Albert Liu.

Format:

Book

Author/Creator:

Barwise, Jon.

Contributor:

Etchemendy, John, 1952-

Language:

English

Subjects (All):

Logic.

Physical Description:

xi, 587 pages ; 24 cm. + 1 CD-ROM (4 3/4 in.) + manual (v, 52 pages : illustrations ; 22 cm.)

4 3/4 in.

polychrome

Place of Publication:

Stanford, CA : CSLI Publications, [2003]

System Details:

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.

text file

Summary:

Contents of CD-ROM include updated version of Tarski's World program, Fitch (program), Boole (program), Submit (online grading facility) and the textbook in Adobe PDF format.

Notes:

Includes indexes.

ISBN:

157586374X

9781575863740

OCLC:

122412027