Geodesic
The upper bounds of enumerable sets of constructive real numbers
Informatics and Automation, 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{TRSPY_1970_113_a4,
     author = {G. S. Tseitin},
     title = {The upper bounds of enumerable sets of constructive real numbers},
     journal = {Informatics and Automation},
     pages = {102--172},
     publisher = {mathdoc},
     volume = {113},
     year = {1970},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/TRSPY_1970_113_a4/}
}
TY  - JOUR
AU  - G. S. Tseitin
TI  - The upper bounds of enumerable sets of constructive real numbers
JO  - Informatics and Automation
PY  - 1970
SP  - 102
EP  - 172
VL  - 113
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TRSPY_1970_113_a4/
LA  - ru
ID  - TRSPY_1970_113_a4
ER  - 
%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
G. S. Tseitin. The upper bounds of enumerable sets of constructive real numbers. Informatics and Automation, Problems of the constructive direction in mathematics. Part 5, Tome 113 (1970), pp. 102-172. http://geodesic.mathdoc.fr/item/TRSPY_1970_113_a4/