Gödel’s Incompleteness Theorems, Volume 19 of Oxford Logic Guides (1992)

by Raymond M Smullyan