Lógica para matemáticos
Hamilton, A. G.
Lógica para matemáticos - Madrid : Paraninfo, 1981 - Lógica y teoría de la ciencia .
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.
DIF-M2545
LÓGICA MATEMÁTICA
Lógica para matemáticos - Madrid : Paraninfo, 1981 - Lógica y teoría de la ciencia .
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.
DIF-M2545
LÓGICA MATEMÁTICA