Nagel, Ernest Godel's proof Nagel, Ernest - Narosa Publishing House 1958 Dewey Class. No.: 511.3 / N58 NAG.N