%0 Journal Article %A G. S. Tseitin %T The upper bounds of enumerable sets of constructive real numbers %J Informatics and Automation %D 1970 %P 102-172 %V 113 %I mathdoc %U http://geodesic.mathdoc.fr/item/TRSPY_1970_113_a4/ %G ru %F TRSPY_1970_113_a4