数理逻辑：证明及其限度

没学完也没学懂，但是已经改变我很多了。01-19

依托，你要是什么都已经会了，这本书可以当个纲要和习题典例检测一下01-14

最好的中文数理逻辑教材，没有之一。一本不会让人读出瓶颈，且是跨过瓶颈的教材。01-10

拿来自学还是不够好，更推荐人大数理逻辑教材11-20

数理逻辑研究推理的过程，而不关心内容，定义了自己的一套形式化语言来描述命题、推理。快速看了前六章，算是数理逻辑入门了。04-28

你诗歌剧还再版了是吧01-26

好书。有空把习题做了。07-06

快乐&痛苦回忆/呜呜呜学妹竟然把我书搞丢了…09-12

对推动概念发展的动力解释清晰，适合具备一定数理逻辑基础的初阶数理逻辑学习者.05-25

无需”中文“这一限制也依旧杰出的教材，作者在处理与日后进阶内容有关联的概念与结果上耗费了大量心血。全书的目标很明确，就是以最严格的方式处理Godel定理，并以此解决30年代大部的经典结果。严格定义递归论概念、第一定理纯粹语法的Rosser证明、第二定理完整验证三个可证性条件，编码细节的详细程度在数理逻辑教材中是绝无仅有的。作为对比，Enderton将第一定理作为Tarski定理的推论并完全放过了可证性条件。以前听一位老师说考虑过开一门专讲Godel定理的短学期课程，考虑到其中的技巧多为特设性，对以后的学习帮助不大而搁置。但其实既然想要较好地把握高阶的集合论独立性证明，总是要练就一身在对象语言和元语言之间来去自如的功夫的，早些有这样的经验不是坏事。04-09

很多关键步骤都留做了习题，然而又没有解答，自学会很费力。05-12

少数几本我觉得自学会很吃力的书，但这主要是内容难，书本身不错。11-25