%0 Journal Article %A N. A. Shanin %T Constructive real numbers and constructive functional spaces %J Informatics and Automation %D 1962 %P 15-294 %V 67 %I mathdoc %U http://geodesic.mathdoc.fr/item/TRSPY_1962_67_a2/ %G ru %F TRSPY_1962_67_a2