En el presente libro se expone de modo sistemático una serie de apartados de la lógica matemática moderna y de la teoría de los algoritmos. El libro puede usarse como manual de lógica matemática en las universidades y también como material didáctico en la lectura de cursos especializados.

PrefacioIntroducción

Capítulo 1. Cálculo de las proposiciones.Capítulo 2. Teoría de los conjuntos.Capítulo 3. Veracidad en los sistemas algebraicos.Capítulo 4. Cálculo de los predicados.Capítulo 5. Teoría de los modelos.Capítulo 6. Teoría de las demostraciones.Capítulo 7. Algoritmos y funciones recursivas.