Al igual que 'Lógica matemática', este libro cubre teoría de conjuntos y teoría de la recursión, enfocándose en los fundamentos de la lógica matemática.
Lógica matemática
por Joseph Shoenfield · 1967
Ver sugerenciasSinopsis
Un texto clásico de lógica matemática que cubre la teoría de conjuntos, la lógica de primer orden, la teoría de la recursión y los teoremas de incompletitud, con un enfoque en la construcción formal de estos sistemas.
Sé el primero en valorar este libro.
Más de Joseph Shoenfield
Ver autor →Otras obras del mismo autor en el catálogo
A Course on Mathematical Logic
1967
Elementos de Lógica Matemática
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
Este texto comparte el rigor formal de 'Lógica matemática' y profundiza en la teoría de modelos, esencial para entender los fundamentos del razonamiento matemático.
Tanto este libro como 'Lógica matemática' presentan una introducción rigurosa a la lógica matemática, abarcando la teoría de conjuntos de manera accesible y comprensible.
Ambos textos son rigurosos e introducen la metamatemática y la teoría de la recursión, aspectos importantes en el desarrollo de los sistemas formales.
Analiza conceptos clave de la lógica matemática como teoría de la recursión y teorías formales, al igual que 'Lógica matemática', con un enfoque sistemático.
Este libro se centra en la teoría de modelos, lo que complementa los temas tratados en 'Lógica matemática' sobre la relación entre teorías y estructuras matemáticas.