Gödel's proof /
Nagel, Ernest,1901-
Newman, James R.(James Roy),1907-1966.
Hodstadter, Douglas R.,1945-
New York ; London : New York University Press,
c2001.
Includes bibliographical references and index.
Gödel's theorem.