%0 Journal Article
%A В.Ю. Шавруков
%T О двух расширениях логики доказуемости GL
%J Matematičeskij sbornik
%D 1990
%P 240-255
%V 181
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS_1990__181_2_a1/
%G ru
%F MS_1990__181_2_a1