Конструктивная теория доказательств и нестандартный анализ (Constructive Proof Theory and Nonstandard Analysis)
por A. G. Dragalin · 2003
Ver sugerenciasSinopsis
Colección de trabajos fundamentales del autor sobre teoría de pruebas intuicionista, análisis no estándar, filosofía de las matemáticas y demostración automática de teoremas.
Sé el primero en valorar este libro.
Más de A. G. Dragalin
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.