Language, proof, and logic : Barwise, Jon : Free Download, Borrow, and Streaming : Internet Archive

Includes indexes

System requirements for accompanying 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, though it may require installation. To submit files to the Grade grinder using the Submit application, access to the Internet is required

Covers first-order language in method appropriate for first and second courses in logic. CD-ROM consists of a new book, 3 programs,and an Internet-based grading service