TY  - BOOK
AU  - Hamilton, Alan G
AU  - Rodriguez Artalejo, Mario
TI  - Lógica para matemáticos
SN  - 84-283-1101-3
AV  - QA 9 H29818.1981
PY  - 1981///
CY  - Madrid
PB  - Paraninfo
KW  - Lógica simbólica y matemática
KW  - Matemáticas
N1  - Traducción de Logic for mathematicians; Incluye apéndice, bibliografía, glosario de símbolos e índice
ER  -