Forever undecided a puzzle guide to Gödel - Smullyan, Raymond M. 1919-2017 (Oxford Univ. Press, 1989)