%0 Journal Article
%A A. U. Muravitskii
%T Algebraic proof of the separation property for an intuitionistic provability calculus
%J Sbornik. Mathematics
%D 1988
%P 397-406
%V 59
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SM_1988_59_2_a7/
%G en
%F SM_1988_59_2_a7