Gödel's incompleteness theorems - Smullyan, Raymond M. (Oxford logic guides, 1992)