%0 Journal Article
%A В.В. Рыбаков
%T Базисы допустимых правил модальной системы Grz и интуиционистской логики
%J Matematičeskij sbornik
%D 1987
%P 321-338
%V 170
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS_1987__170_3_a0/
%G ru
%F MS_1987__170_3_a0