Godel's incompleteness theorems - Smullyan, Raymond M. (Oxford logic guides ;, 1992)