On the relation between various systems of constructive real numbers
Izvestiâ vysših učebnyh zavedenij. Matematika, no. 2 (1960), pp. 199-208
Cet article a éte moissonné depuis la source Math-Net.Ru
@article{IVM_1960_2_a21,
author = {V. A. Uspenskii},
title = {On the relation between various systems of constructive real numbers},
journal = {Izvesti\^a vys\v{s}ih u\v{c}ebnyh zavedenij. Matematika},
pages = {199--208},
year = {1960},
number = {2},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/IVM_1960_2_a21/}
}
V. A. Uspenskii. On the relation between various systems of constructive real numbers. Izvestiâ vysših učebnyh zavedenij. Matematika, no. 2 (1960), pp. 199-208. http://geodesic.mathdoc.fr/item/IVM_1960_2_a21/