Godel's Proof by Ernest Nagal & James R. Newman