¿Qué es la lógica matemática?
¿Qué es la lógica matemática? [Texto impreso]
J.N. Crossley... [et al.] ; presentación y notas de Luis Ml. Valdés, traducción [del inglés] de Jesús Alcolea Banegas ; revisada por Luis Ml. Valdés
- 2a ed.
- Madrid : Tecnos, D.L. 1983.
- 192 páginas : 18 x 11 cm.
- Cuadernos de filosofía y ensayo .
La idea de infinito y la lógica matemática . introducción.-- 1. Panorama histórico.-- 2. La completud del cálculo de predicados.-- 3. Teoría de modelos.-- 4. Máquinas de Turing y funciones recursivas.-- 5. Los teoremas de incompletud de Gödel.-- 6. Teoría de conjuntos .-- Algunas sugerencias para seguir leyendo. indice analítico.
8430910115
Lógica matemática
510.6 C951
La idea de infinito y la lógica matemática . introducción.-- 1. Panorama histórico.-- 2. La completud del cálculo de predicados.-- 3. Teoría de modelos.-- 4. Máquinas de Turing y funciones recursivas.-- 5. Los teoremas de incompletud de Gödel.-- 6. Teoría de conjuntos .-- Algunas sugerencias para seguir leyendo. indice analítico.
8430910115
Lógica matemática
510.6 C951