TY  - BOOK
AU  - Suppes Patrick
TI  - Introducción a la lógica simbolica
U1  - 162 S8 1970 
PY  - 1970///
CY  - México
KW  - LOGICA SIMBOLICA
ER  -