数理逻辑：证明及其限度

这本书最见功力的地方，不在它讲了多少知识，而在它如何讲。作者把哥德尔两个不完全性定理当作全书的轴心，让前面所有的命题逻辑、一阶逻辑、递归论都围绕它展开——概念不是孤立罗列，而是被'推动概念发展的动力'串起来，读者能看清每条定理为何在历史的关键处被提出。尤其最后四章，递归论与不完全性定理的处理被多位读者认为比斯穆里安、人大的同类教材更舒服。但它的'好'是有代价的：大量关键步骤直接留作习题、证明惜字如金，几乎不照顾自学，适合有一定基础、愿意盯着推导发呆半天的读者。它更像一本为进阶研究准备的'好教案'，而非入门读物。

郝兆宽：复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。 杨睿之：复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。 杨跃：新加坡国立大学数学系教授。主要研究方向为数理逻辑，尤其是递归论、皮亚诺算术模型。