Language proof and logic : [text/software package]
Häftad bok. Stanford, Calif. : CSLI Publications.
Nära nyskick.
Förlagsfakta
- ISBN
- 157586374X
- Titel
- Language proof and logic : [text/software package]
- Författare
- Barwise, Jon - Etchemendy, John
- Förlag
- Stanford, Calif. : CSLI Publications
- Språk
- English
- Baksidestext
- 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.