Language, proof, and logic /
Barwise, Jon.
Language, proof, and logic / - 2nd ed. - Stanford, Calif. : CSLI Publications, c2011 - xi, 606p. ; 24 cm.
Includes indexes.
9781575866321
99041113
Logic.
BC61 / .B38 2011
160
Language, proof, and logic / - 2nd ed. - Stanford, Calif. : CSLI Publications, c2011 - xi, 606p. ; 24 cm.
Includes indexes.
9781575866321
99041113
Logic.
BC61 / .B38 2011
160