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
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/
@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},
     year = {1970},
     volume = {113},
     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
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
%U http://geodesic.mathdoc.fr/item/TM_1970_113_a4/
%G ru
%F TM_1970_113_a4

Voir la notice du chapitre de livre provenant de la source Math-Net.Ru