%0 Journal Article
%A V. I. Khomich
%T A separability theorem for superintuitionistic propositional calculi
%J Doklady Akademii Nauk
%D 1976
%P 1327-1329
%V 229
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1976_229_6_a11/
%G ru
%F DAN_1976_229_6_a11