TY  - BOOK
AU  - Hamilton,A.G.
TI  - Lógica para matemáticos
T2  - Lógica y teoría de la ciencia
PY  - 1981///
CY  - Madrid
PB  -  Paraninfo
KW  - LÓGICA MATEMÁTICA
N1  -  1- Cálculo de enunciados informal 2- Cálculo de enunciados formal -- 3- Cálculo de predicados informal -- 4- Cálculo de predicados formal 5- Sistemas matemáticos 6- El Teorema de Incompletitud de Gödel 7- Computabilidad, insolubilidad, indecidibilidad -- Ap. Conjuntos numerables y no numerables -- Indicaciones y soluciones de ejercicios seleccionados -- Bibliografía -- Glosario de símbolos -- Indice alfabético
ER  -