Gödel's Proofby Ernest Nagel, James NewmanGoedel's theoremWriting a summary for young readers…For young readersBook data: Open Library