Godel's incompleteness theorems - Smullyan, Raymond M. (Oxford University Press, 1992)