Book

Gödel's incompleteness theorems

by Raymond M. Smullyan