TY  - BOOK
AU  - Manaster, Alfred B
TI  - Completeness, compactness and undecidability: an introduction to mathematical logic 
SN  - 0131646249
AV  - QA 9 M294.1975
PY  - 1975///
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall
KW  - Lógica simbólica y matemática
KW  - Matemáticas
N1  - Incluye bibliografía (p. 149-150) e índice
ER  -