- 哥德尔艾舍尔巴赫
- 哥德尔传（讲述自亚里士多德之后最伟大的逻辑学家——哥德尔的一生） 中信出版集团 [美]斯蒂芬·布迪安斯基
- 哥德尔传（讲述自亚里士多德之后最伟大的逻辑学家——哥德尔的一生） Tianlangbooks 斯蒂芬·布迪安斯基
- 哥德尔传【扫描版】 中信出版集团 [美] 斯蒂芬· 布迪安斯基 / 祝锦杰
- 哥德尔、艾舍尔、巴赫：集异璧之大成 下册 商务印书馆 侯世达
- 哥德尔证明 中国轻工业出版社 作者: [美] Ernest Nagel / [美] James R. Newman / [美] Douglas R. Hofstadter (编)
- 哥德尔传（讲述自亚里士多德之后最伟大的逻辑学家——哥德尔的一生） 中信出版集团 斯蒂芬·布迪安斯基
- 哥德尔、艾舍尔、巴赫：集异璧之大成 上册 商务印书馆 侯世达
- 哥德尔 艾舍尔 巴赫 集异璧之大成 （美）侯世达译
- 哥德尔传（讲述自亚里士多德之后最伟大的逻辑学家——哥德尔的一生） 中信出版集团 斯蒂芬·布迪安斯基