Incompleteness: The Proof and Paradox of Kurt Godel

(goodreads.com)