TY  - BOOK
AU  - Barwise,Jon
AU  - Etchemendy,John
AU  - Allwein,Gerard
AU  - Barker-Plummer,Dave
AU  - Liu,Albert
TI  - Language, proof, and logic
SN  - 1889119083 (pbk. : alk. paper)
AV  - BC 61 B38.2000
PY  - 2000///
CY  - Stanford, Calif.
PB  - CSLI Publications
KW  - Logic
KW  - Lógica
N1  - Incluye índice
ER  -