1.P66第二段似应为“若对项t中所含任一变元y，p中自由出现的某变元x全都不出现在t（原文为p）中∀y的范围内，则说t对p中x是自由的.” 2.略过证明堪堪翻完，学科艰深、作者强大。

对比国外教材感觉甚好，只是数理逻辑这个东西对我没什么用处。

本科教材，从一阶逻辑到哥德尔不完备定理一气呵成。

前面都还简单，读到后面形式算术Kn到哥德尔定理的证明部分开始头昏，慢慢来吧

继承了科大编书的简介扼要，推荐有一定基础的读者阅读。

框架清晰，簡潔明瞭，過程詳細，國內少見的適合自學的教材。

好，引入真值表时细致地区分了数学和逻辑上的讨论，并且尽快地介绍证明、命题演算与逻辑演算，无疑抓住了数理逻辑的主要脉络

建议先读同作者的《数学基础》

这是一本很好的书！书中的公理体系非常简洁！我通过这本书了解了数理逻辑，并锻炼了思维，感受到了逻辑系统的有效性与完全性，以及哥德尔不完备性定理的优美之处。

国内最好的数理逻辑教材，没有之一。

为何称为肯定后件律，是不是容易与否定后件（MT）相关联，给人一种误导？（因为只能肯定前件或否定后件，而不能肯定后件或否定前件）【初学者小白问题，汗。。。】

全书的重点在于证明不完备性定理的前后， 由一阶算术，原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写， 内容不包括一阶逻辑的元定理和模型论，集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前，先...

很好看的数理逻辑入门

这是一本把读者挡在门外、又把人拉进门内的书。它不承诺轻松：有人翻到形式算术的哥德尔不完备性定理证明时头昏脑胀，也承认