%0 Journal Article
%A В.И. Степанов
%T К теории моделей для интуиционисткой логоки
%J Matematičeskij sbornik
%D 1984
%P 227-239
%V 162
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS_1984__162_2_a3/
%G ru
%F MS_1984__162_2_a3