%0 Journal Article
%A N. A. Shanin
%T On some logical problems of arithmetic
%J Informatics and Automation
%D 1955
%P 3-112
%V 43
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TRSPY_1955_43_a0/
%G ru
%F TRSPY_1955_43_a0