Ambos libros abordan la lógica matemática desde una perspectiva que combina formalismo y rigor, reflejando la metodología de Robinson.
Metamathematics of First-Order Arithmetic
por Abraham Robinson · 1971
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
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
Fundamentos de la matemática: Problemas de la fundamentación matemática
1966
Nonstandard Analysis
1966
Filosofía del Cálculo Infinitesimal
1966
Mathematical Logic
1969
Model Theory
1971
Análisis no estándar de los números reales
1974
Elements of Nonstandard Analysis
1974
The Foundations of Nonstandard Analysis
1974
Contributions to Nonstandard Analysis
1978
Real and Nonstandard Analysis
1979
The Mathematics of Nonstandard Analysis
1986
Libros similares
Libros relacionados según distintos criterios de búsqueda
La obra sobre análisis no estándar utiliza conceptos de aritmética de primer orden, similar a las ideas presentadas en Metamathematics.