Logical number theory I : - Smorynski, C. (Universitext, 1991)