Website Search
Find information on spaces, staff, and services.
Catalog Search
Books
Language, proof, and logic
- Author / Creator
- Available as
- Physical
Details
Checking for availability...
- Creator
- Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu
- Format
- Books
- Language
- English
- Publication
-
- Stanford, Calif. : CSLI Publications, [2000]
- ©2000
- Physical Details
-
- xi, 587 pages : illustrations ; 24 cm + 1 computer optical disc (4 3/4 in.) + 1 user manual (vii, 52 pages : illustrations ; 22 cm)
- ISBNs
- 9781889119083, 1889119083
- OCLC
- ocm42296426