本书是哥德尔的权威传记，全面描述了这位逻辑学家和哲学家的工作及生活细节。逻辑学家和科学史家道森对哥德尔的文献和保存下来的信件进行了深入研究。研究表明，哥德尔在数学基础方面的工作从根本上改变了我们对这个领域的看法，并在20世纪激发了许多研究方向。道森还探讨了哥德尔的个性与他的科学成就之间的关系，并阐释了哥德尔的成就对我们现代世界观的影响。

哥德尔不完全性定理 朱水林著 辽宁教育出版社1988年2月版 12万字 对哥德尔定理的背景、内容、证明和意义等作系统的介绍。哥德尔不完全性定理对逻辑学、数学、哲学和人工智能都具有深刻的影响。踏和塔斯基的形式语言的真理论及图灵机的判定问题理论，已被国际逻辑学界赞誉为现代逻辑的三大成果。收入“世界数学名题欣赏丛书”

《逻辑学导论(第11版》所选用的有关政治、哲学、科学及多领域当代论争的鲜活的论证实例，展示了许多严肃的学者和思想家在解决实际问题的过程中对逻辑原理的应用，使逻辑学习既内容充盈又富有生活气息。书中也选用了许多谬误性论证作为例示与辨谬训练资料，以使学生明了对逻辑法则的忽视或误用如何使论证走入误区。书中也有少量论辩推理的例子，这些例子是为说明逻辑原理而特别编制的，但使本书卓尔不凡的，还是那些精心选自许多不同领域文献的丰富多彩的新颖实例。