TY  - BOOK
AU  - Barker-Plummer,Dave
AU  - Barwise,Jon
AU  - Etchemendy,John
AU  - Barwise,Jon
TI  - Language, proof, and logic
SN  - 9781575866321 (pbk. : alk. paper)
AV  - BC71 .B25 2011
U1  - 160 BAR 23
PY  - 2011///
CY  - Stanford, Calif.
PB  - CSLI Publications
KW  - Logic
N1  - Rev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy; Includes index
ER  -