%0 Journal Article
%A A. U. Muravitskii
%T Correspondence of proof-intuitionistic logic extensions to proof-logic extensions
%J Doklady Akademii Nauk
%D 1985
%P 789-793
%V 281
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1985_281_4_a3/
%G ru
%F DAN_1985_281_4_a3