TY  - BOOK
AU  - Suppes,Patrick
AU  - Hill,Shirley A.
AU  - Lines Escardó,Enrique
TI  - Primer curso de lógica matemática
SN  - 84-291-5150-8
AV  - BC135 S857
PY  - 1980///
CY  - Barcelona, México
PB  - Reverté
KW  - Lógica simbólica y matemática
N1  - Traducción de: First course in mathematical logic
ER  -