%0 Journal Article %A Yu. G. Ventsov %T Computable classes of constructivizations of models of %J Algebra i logika %D 1994 %P 37-75 %V 33 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/AL_1994_33_1_a2/ %G ru %F AL_1994_33_1_a2