%0 Journal Article
%A V. N. Krivtsov
%T A formal system of negationless arithmetic that is conservative with respect to heyting arithmetic
%J Matematičeskie zametki
%D 1984
%P 583-592
%V 36
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1984_36_4_a11/
%G ru
%F MZM_1984_36_4_a11