%0 Journal Article
%A A. L. Semenov
%T Logical theories of one-place functions on the set of natural numbers
%J Izvestiya. Mathematics 
%D 1984
%P 587-618
%V 22
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1984_22_3_a5/
%G en
%F IM2_1984_22_3_a5