ruso
A. G. Dragalin es un destacado matemático y director de la revista de problemas de matemáticas, conocido por sus aportes en el área de theories mathematiques. Su trabajo ha influido en la forma en que se abordan diversos problemas matemáticos en la educación y la investigación.
1988·divulgacion
Este libro ofrece una introducción al intuicionismo matemático y su relación con la teoría de pruebas, explorando conceptos fundamentales y desarrollos clave en la lógica matemática y la filosofía de las matemáticas.
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.
divulgacion
Este libro presenta una colección de capítulos que abordan diversos aspectos de la lógica matemática, enfatizando su estructura y aplicaciones. Es un recurso valioso para estudiantes que buscan profundizar en conceptos clave de la disciplina.
