Ambos libros abordan la lógica matemática y la provabilidad, profundizando en la relación entre lógica y teoría de modelos con rigor técnico.
The Logic of Provability
por Abraham Robinson · 1991
Ver sugerenciasSinopsis
Sé el primero en valorar este libro.
Más de Abraham Robinson
Ver autor →Otras obras del mismo autor en el catálogo
Filosofía del Cálculo Infinitesimal
1966
La función del ideal en el cálculo infinitesimal
1966
Complete Ordered Fields
1966
Un Examen Crítico de los Fundamentos del Análisis Matemático Moderno
1966
Paradojas y Dogma
1966
Nonstandard Analysis
1966
Fundamentos de la matemática: Problemas de la fundamentación matemática
1966
Mathematical Logic
1969
Metamathematics of First-Order Arithmetic
1971
Model Theory
1971
Análisis no estándar de los números reales
1974
The Foundations of Nonstandard Analysis
1974
Elements of Nonstandard Analysis
1974
Contributions to Nonstandard Analysis
1978
Real and Nonstandard Analysis
1979
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que Robinson, Cohen explora los fundamentos de la provabilidad mediante la teoría de conjuntos, aportando una perspectiva única y complementaria.