TY  - BOOK
AU  - Barwise,Jon
AU  - Etchemendy,John
AU  - Allwein,Gerard
AU  - 
AU  - Liu,Albert
TI  - Language, proof, and logic
SN  - 1889119083 (rustica : papel alcalino)
AV  - BC61 B377
U1  - 160 21
PY  - 2000///
CY  - Stanford, California
PB  - CSLI
KW  - Lógica
N1  - Acampañado de 1 CD-ROM
ER  -