我看过的数理逻辑的书里边，这本书最让我感觉到晕。语言晦涩难懂，证明莫名其妙，有些地方讲到“显然”，我想了整整一个下午才明白显然的意义。这样的书我觉得做教材不恰当。本科时候上过离散数学，数理逻辑相关课程，许多内容其实重复，那些东西我已经掌握比较熟练，可是看这本书还是觉得很累。一方面是我智力的因素，但不可否认，这本书我觉得没有多大存在的价值。
其实反差大的原因很简单，这是计算科学和计算应用技术的差别。
为啥反差这么大？
不然，我虽然理解也不深刻，但是我认为这本书是我见过的比较好的数理逻辑教材，感觉来龙去脉很清楚……，尤其是语言、元语言和语法（形式语言）语义，可能设计到一些形式系统的东西，我感觉说的还是很清楚的，至少比较完全和严格