TY  - BOOK
AU  - Bell, John Lane
AU  - Machover, Mishé
TI  - A course in mathematical logic
SN  - 0720428440
AV  - QA 9 B39
PY  - 1977///
CY  - New York
PB  - Sole distributors for the U.S.A.
KW  - Lógica simbólica y matemática
N1  - Incluye bibliografía e índice
ER  -