TY  - BOOK
AU  - Suppes,Patrick
AU  - Linés Escardó,Enrique
TI  - Primer curso de lógica matemática
AV  - QA9 .S8 1979
PY  - 1979///
CY  - México
PB  - Reverté
KW  - Lógica simbólica
KW  - Lógica matemática
N1  - Título original: First course in mathematical logic
ER  -