%0 Journal Article
%A А.Ю. Муравицкий
%T Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления
%J Matematičeskij sbornik
%D 1986
%P 403-412
%V 173
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS_1986__173_3_a5/
%G ru
%F MS_1986__173_3_a5