Ambos textos abordan la lógica matemática y la teoría de conjuntos, con un enfoque riguroso en la estructura formal de los sistemas lógicos.
Mathematical Logic
por Joseph R. Schoenfield · 1967
Ver sugerenciasSinopsis
Un libro de texto clásico sobre lógica matemática que cubre la teoría de conjuntos, la teoría de modelos, la teoría de la recursión y la teoría de la demostración, con un énfasis en los fundamentos de las matemáticas.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este libro establece las bases del razonamiento matemático a través de la lógica matemática y la teoría de conjuntos, como lo hace el original.
A través de la lógica proposicional y la teoría de computabilidad, este texto complementa el enfoque en fundamentos matemáticos del libro de referencia.
Ofrece una introducción rigurosa a la lógica matemática, cubriendo conceptos claves como teoría de modelos y teoría de conjuntos, al igual que el original.
Cubre las principales ramas de la lógica, detallando teoría de la recursión y teoría de la prueba, similarmente al enfoque del texto de Schoenfield.
Proporciona un tratamiento exhaustivo de la lógica matemática y la teoría de conjuntos, alineándose con el rigor y la estructura del libro de referencia.