%0 Journal Article
%A A. A. Kuzichev
%A A. S. Kuzichev
%T On the imbedding of formal arithmetic in combinatorially complete systems
%J Doklady Akademii Nauk
%D 1980
%P 1310-1315
%V 250
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1980_250_6_a6/
%G ru
%F DAN_1980_250_6_a6