Fundamentos de la Matemática Constructiva
1962·ensayo
Un tratado técnico sobre las bases de la matemática constructiva, una rama donde se exige que las demostraciones matemáticas sean 'constructivas', es decir, que proporcionen un método para obtener el objeto matemático cuya existencia se afirma. Es una obra clave de la escuela matemática rusa.

