Ambos libros abordan la teoría de la prueba con un enfoque riguroso, analizando su estructura y fundamentación en la lógica matemática.
Mathematical Logic
por Joseph Shoenfield · 1967
Ver sugerenciasSinopsis
Un texto fundamental que cubre las principales ramas de la lógica matemática, incluyendo teoría de la recursión, teoría de modelos y teoría de la prueba, presentando los conceptos de manera rigurosa y sistemática.
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
Elementos de Lógica Matemática
1967
Fundamentos de la Teoría de Modelos
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
La obra de Mendelson introduce de manera sistemática los conceptos fundamentales de la lógica matemática, similar a la estructura metódica de Shoenfield.
Church explora los principios de la lógica clásica y la metamatemática con la misma rigurosidad que caracteriza a 'Mathematical Logic'.
Kleene discute extensamente la teoría de la recursión y los fundamentos matemáticos, temas que son centrales en el texto de Shoenfield.
El libro de Schoenfield es un compendio sobre lógica matemática que, al igual que el de Shoenfield, incluye teoría de modelos y de la prueba.
Shoenfield y el texto de 'Elementos de Lógica Matemática' comparten un enfoque formal y sistemático hacia la lógica matemática y sus fundamentos.