TY  - BOOK
AU  - Hamilton, A. G.
TI  - Lógica para matemáticos
T2  - Logica y teoría de la ciencia 
U1  - 511.3 
PY  - 1981///
CY  - Madrid
PB  - Paraninfo
KW  - Problemas
KW  - Ejercicios
KW  - Lógica
N1  - Incluye glosario de símbolos  | Incluye índice alfabético de materias; Contiene referencias bibliográficas  en la página 235; Prefacio -- Cálculo de enunciados informal -- Cálculo de enunciados formal -- Cálculo de predícados informal -- 4. Cálculo de predicados formal -- 5. Sistemas matemáticos---
ER  -