%0 Journal Article %A Yu. G. Ventsov %T A problem on the effective choice of constructivizations, and %J Algebra i logika %D 1992 %P 3-20 %V 31 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/AL_1992_31_1_a0/ %G ru %F AL_1992_31_1_a0