Ambos textos abordan la teoría de modelos y la teoría de conjuntos con rigor formal y un enfoque en los fundamentos de la lógica matemática.
Elementos de Lógica Matemática
por Joseph Shoenfield · 1967
Ver sugerenciasSinopsis
Un texto seminal que introduce los fundamentos de la lógica matemática, la teoría de modelos, la teoría de la recursión y la teoría de conjuntos, con un rigor formal y conceptual que establece las bases del razonamiento matemático.
Sé el primero en valorar este libro.
Más de Joseph Shoenfield
Ver autor →Otras obras del mismo autor en el catálogo
Lógica matemática
1967
A Course on Mathematical Logic
1967
Fundamentos de la Teoría de Modelos
1967
Mathematical Logic
1967
A Course in Mathematical Logic
Fundamentals of Mathematical Logic
Elements of Set Theory
The Foundations of Logic
The Axiom of Choice
An Introduction to Mathematical Logic
The Logic of Mathematical Reasoning
Introduction to Set Theory
Libros similares
Libros relacionados según distintos criterios de búsqueda
Utilizan un enfoque estructurado para enseñar la lógica de primer orden y la teoría de la recursión, manteniendo una profundidad académica similar.
Ambos textos ofrecen una introducción rigurosa a los fundamentos de la lógica matemática, abarcando temas como la lógica proposicional y la teoría de conjuntos.
Al igual que el libro de referencia, este texto se centra en una presentación axiomática de la teoría de conjuntos, estableciendo bases sólidas para el razonamiento matemático.
Cubre de manera sistemática la teoría de la recursión y la teoría de modelos, presentando conceptos clave con un rigor comparable al del libro de referencia.
Este texto, al igual que el de referencia, profundiza en la relación entre lógica matemática y teoría de la computación, destacando fundamentos similares.