Gödel’s proof - Nagel, Ernest 1901-1985. ([New York])
118 s.