Forever undecided a puzzle guide to Gödel
Smullyan, Raymond M.
Oxford University Press
1988
Gödel's theorem.