Logical number theory : an introduction - Smorynski, C. (Springer-Verlag, 1991)