1. Superpositions of elementary arithmetic functions;Marchenkov;J. Appl. Ind. Math.,2007
2. New recursive characterizations of the elementary functions and the functions computable in polynomial space;Oitavem;Rev. Mat. Univ. Complutense de Madrid,1997
3. Computable Functions (Translated By V. N. Dubrovskii);Vereschchagin,2002
4. Plain bases for classes of primitive recursive functions;Mazzanti;Math. Logic Q.,2002
5. Introduction To Mathematical Logic;Mendelson,2015