%0 Journal Article
%A A. U. Muravitskii
%T Correspondence of proof-intuitionistic logic extensions to proof-logic extensions
%J Matematičeskie trudy
%D 1989
%P 104-120
%V 12
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MT_1989_12_a5/
%G ru
%F MT_1989_12_a5