Back to the bookshelf
by Ernest Nagel, James R. Newman
math logic philosophy
Short exposition of Godel’s incompleteness theorems for general readers.
Open Library