1. Gödel's proof. (2012) Other Names: Nagel, Ernest, 1901-1985; Newman, James R (James Roy), 1907-1966 Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Gödel's way : exploits into an undecidable world /: exploits into an undecidable world. (©2012) Other Names: Chaitin, Gregory J; Doria, Francisco Antônio; Costa, Newton C. A. da Record Type: Book Extent: 1 online resource (xxi, 138 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗