Language, proof, and logic /
Barwise, Jon.
Language, proof, and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. - Stanford, Calif. : CSLI Publications, 2007. - xi, 587 p. ; 24 cm.
Includes indexes.
1889119083 (pbk. : alk. paper)
Logic.
BC61.B3 2007
Language, proof, and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. - Stanford, Calif. : CSLI Publications, 2007. - xi, 587 p. ; 24 cm.
Includes indexes.
1889119083 (pbk. : alk. paper)
Logic.
BC61.B3 2007