Gödel's incompleteness theorems - Smullyan, Raymond M. 1919-2017 (Oxford Univ. Pr., 1992)