%0 Journal Article
%A V. I. Stepanov
%T On the theory of models for intuitionistic logic
%J Sbornik. Mathematics
%D 1984
%P 223-235
%V 48
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SM_1984_48_1_a13/
%G en
%F SM_1984_48_1_a13