%0 Journal Article
%A A. P. Beltiukov
%T Decidability of the universal theory of natural numbers with addition and divisibility
%J Zapiski Nauchnykh Seminarov POMI
%D 1976
%P 15-28
%V 60
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1976_60_a1/
%G ru
%F ZNSL_1976_60_a1