Ambos textos introducen formalismos de lógica matemática y exploran la teoría de la prueba con rigor académico.
Un Curso de Lógica Matemática
por J. N. Crossley · 1972
Ver sugerenciasSinopsis
Un libro de texto que introduce a los fundamentos de la lógica matemática, incluyendo la teoría de modelos, la teoría de la recursión y la teoría de la prueba. Ofrece una visión general de los conceptos clave y las técnicas utilizadas en el campo.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este libro presenta fundamentos de la lógica matemática y la teoría de modelos de forma accesible, similar a la claridad de Crossley.
Al igual que Crossley, ofrece una introducción a la lógica formal y teoría de modelos, haciendo énfasis en conceptos fundamentales.
Shoenfield aborda los mismos temas que Crossley, como teoría de modelos y recursión, proporcionando una base sólida para el estudio de la lógica.
Este texto también cubre la lógica de primer orden y la teoría de la recursión, reflejando la estructura metodológica de Crossley.
Manin introduce conceptos de lógica matemática incluyendo teoría de modelos, manteniendo el rigor y la claridad, de forma análoga al enfoque de Crossley.