%0 Journal Article
%A B. L. Budinas
%T Analytic definability of constructive real numbers
%J Matematičeskie zametki
%D 1980
%P 177-186
%V 28
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1980_28_2_a0/
%G ru
%F MZM_1980_28_2_a0