Godel's Proof - Nagel, Ernest; Newman, James R. (New York University Press, 2001)
Description based on online resource; title from PDF title page (publisher's Web site, viewed 23. Jun 2020)