Logical number theory 1 an introduction - Smorynski Craig (Berlin Springer Verlag, 1991)
Keywords: Number theory