Analytic definability of constructive real numbers
Matematičeskie zametki, Tome 28 (1980) no. 2, pp. 177-186
Cet article a éte moissonné depuis la source Math-Net.Ru
@article{MZM_1980_28_2_a0,
author = {B. L. Budinas},
title = {Analytic definability of constructive real numbers},
journal = {Matemati\v{c}eskie zametki},
pages = {177--186},
year = {1980},
volume = {28},
number = {2},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_1980_28_2_a0/}
}
B. L. Budinas. Analytic definability of constructive real numbers. Matematičeskie zametki, Tome 28 (1980) no. 2, pp. 177-186. http://geodesic.mathdoc.fr/item/MZM_1980_28_2_a0/