Der Gödelsche Beweis - Nagel, Ernest 1901-1985; Newman, James R. 1907-1966 (Oldenbourg, 1971)