Ambos libros exploran formalismos lógicos, profundizando en la aritmética y en las bases teóricas del razonamiento matemático.
Mathematical Logic
por Abraham Robinson · 1969
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
Metamathematics of First-Order Arithmetic
1971
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
El texto sobre la lógica de la provabilidad sigue la misma línea de pensamiento crítico y análisis riguroso de la lógica matemática presente en 'Mathematical Logic'.