Barker-Plummer, Dave
Language, proof, and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. - Stanford, Calif. : CSLI Publications, c2002. - xi, 587 p. ; 24 cm.
Includes indexes.
9781575866321
99041113
Logic.
BC61 / .B37 2011
160
Language, proof, and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. - Stanford, Calif. : CSLI Publications, c2002. - xi, 587 p. ; 24 cm.
Includes indexes.
9781575866321
99041113
Logic.
BC61 / .B37 2011
160