%0 Journal Article
%A A. A. Kuzichev
%A A. S. Kuzichev
%T A conservative extension of a formal arithmetic
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 1988
%P 77-78
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_1988_6_a20/
%G ru
%F VMUMM_1988_6_a20