%0 Journal Article
%A S. Yu. Podzorov
%T Computable classes of constructivizations of $2$-constructivizable models
%J Algebra i logika
%D 1999
%P 697-722
%V 38
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_1999_38_6_a3/
%G ru
%F AL_1999_38_6_a3