Godel’s Proof (New York (1958)

by E Nagel, J R Newman