Geodesic
The upper bounds of enumerable sets of constructive real numbers
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 5, Tome 113 (1970), pp. 102-172.

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{TM_1970_113_a4,
     author = {G. S. Tseitin},
     title = {The upper bounds of enumerable sets of constructive real numbers},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {102--172},
     publisher = {mathdoc},
     volume = {113},
     year = {1970},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/TM_1970_113_a4/}
}
TY  - JOUR
AU  - G. S. Tseitin
TI  - The upper bounds of enumerable sets of constructive real numbers
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1970
SP  - 102
EP  - 172
VL  - 113
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TM_1970_113_a4/
LA  - ru
ID  - TM_1970_113_a4
ER  - 
%0 Journal Article
%A G. S. Tseitin
%T The upper bounds of enumerable sets of constructive real numbers
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1970
%P 102-172
%V 113
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TM_1970_113_a4/
%G ru
%F TM_1970_113_a4
G. S. Tseitin. The upper bounds of enumerable sets of constructive real numbers. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 5, Tome 113 (1970), pp. 102-172. http://geodesic.mathdoc.fr/item/TM_1970_113_a4/