Language, proof, and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu.
By: Barker-Plummer, Dave
.
Contributor(s): Etchemendy, John | Allwein, Gerard | Barker-Plummer, Dave | Liu, Albert.
Material type: 
BookPublisher: Stanford, Calif. : CSLI Publications, c2002Description: xi, 587 p. ; 24 cm.ISBN: 9781575866321.Subject(s): LogicDDC classification: 160
| Item type | Current location | Collection | Call number | Status | Notes | Date due | Item holds |
|---|---|---|---|---|---|---|---|
General Circulation Books
|
Non-fiction | BC61 .B37 2011 (Browse shelf) | Available | MO |
Total holds: 0
Includes indexes.
There are no comments for this item.