TY  - JOUR
AU  - V. A. Uspenskii
TI  - On the relation between various systems of constructive real numbers
JO  - Izvestiâ vysših učebnyh zavedenij. Matematika
PY  - 1960
SP  - 199
EP  - 208
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IVM_1960_2_a21/
LA  - ru
ID  - IVM_1960_2_a21
ER  -