Language, proof, and logic
By: Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu.
Contributors: Etchemendy, John, 1952-; Allwein, Gerard, 1956-; Barker-Plummer, Dave.; Liu, Albert, 1966-
Publisher: CSLI Publications
Published: 2002
Place of publication: Stanford, Calif
Language: eng
Number of pages: 587
Subjects: Logic
Notes: Includes indexes.