A hierarchy of ways of understanding judgments in constructive mathematics
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 6, Tome 129 (1973), pp. 203-266
Voir la notice du chapitre de livre
@article{TM_1973_129_a3,
author = {N. A. Shanin},
title = {A hierarchy of ways of understanding judgments in constructive mathematics},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {203--266},
year = {1973},
volume = {129},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TM_1973_129_a3/}
}
N. A. Shanin. A hierarchy of ways of understanding judgments in constructive mathematics. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 6, Tome 129 (1973), pp. 203-266. http://geodesic.mathdoc.fr/item/TM_1973_129_a3/