%0 Journal Article
%A E. Yu. Nogina
%T Grzegorczyk logic with arithmetical proof operators
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 1996
%P 483-499
%V 2
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/FPM_1996_2_2_a5/
%G ru
%F FPM_1996_2_2_a5