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