%0 Journal Article %A А.В. Кузнецов %A А.Ю. Муравицкий %T О суперинтуиционистских логиках как фрагментах расширений логики доказуемости %J Matematičeskie issledovaniâ %D 1987 %P 15-39 %V 98 %I mathdoc %U http://geodesic.mathdoc.fr/item/MI_1987__98_189946/ %G ru %F MI_1987__98_189946