%0 Journal Article
%A S. V. Goryachev
%T Arithmetic with a local reflection principle for Rosser provability formulas
%J Matematičeskie zametki
%D 1989
%P 12-21
%V 46
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1989_46_3_a2/
%G ru
%F MZM_1989_46_3_a2