Logical Number Theory I An Introduction - Smorynski Craig (New York Springer Verlag, 1991)