%0 Journal Article
%A И.Г. Симонова
%T Сепарационное свойство для доказуемостно-интуиционистского исчисления
%J Matematičeskie issledovaniâ
%D 1987
%P 121-133
%V 98
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MI_1987__98_189952/
%G ru
%F MI_1987__98_189952