%0 Journal Article %A Yu. G. Ventsov %T The problem of effective choice of constructivizations %J Matematičeskie trudy %D 1993 %P 35-40 %V 25 %I mathdoc %U http://geodesic.mathdoc.fr/item/MT_1993_25_a1/ %G ru %F MT_1993_25_a1