数理逻辑：证明及其限度
读书评论：
-
西西弗斯与巨石01-19没学完也没学懂，但是已经改变我很多了。
-
哑然鸟01-14依托，你要是什么都已经会了，这本书可以当个纲要和习题典例检测一下
-
von01-10最好的中文数理逻辑教材，没有之一。一本不会让人读出瓶颈，且是跨过瓶颈的教材。
-
Zermelo11-20拿来自学还是不够好，更推荐人大数理逻辑教材
-
老C04-28数理逻辑研究推理的过程，而不关心内容，定义了自己的一套形式化语言来描述命题、推理。快速看了前六章，算是数理逻辑入门了。
-
right choice01-26你诗歌剧还再版了是吧
-
基本有害山田凉07-06好书。有空把习题做了。
-
Wait09-12快乐&痛苦回忆/呜呜呜学妹竟然把我书搞丢了…
-
郁欣05-25对推动概念发展的动力解释清晰，适合具备一定数理逻辑基础的初阶数理逻辑学习者.
-
DestinHistoire04-09无需”中文“这一限制也依旧杰出的教材，作者在处理与日后进阶内容有关联的概念与结果上耗费了大量心血。全书的目标很明确，就是以最严格的方式处理Godel定理，并以此解决30年代大部的经典结果。严格定义递归论概念、第一定理纯粹语法的Rosser证明、第二定理完整验证三个可证性条件，编码细节的详细程度在数理逻辑教材中是绝无仅有的。作为对比，Enderton将第一定理作为Tarski定理的推论并完全放过了可证性条件。以前听一位老师说考虑过开一门专讲Godel定理的短学期课程，考虑到其中的技巧多为特设性，对以后的学习帮助不大而搁置。但其实既然想要较好地把握高阶的集合论独立性证明，总是要练就一身在对象语言和元语言之间来去自如的功夫的，早些有这样的经验不是坏事。
-
untureeei_o05-12很多关键步骤都留做了习题，然而又没有解答，自学会很费力。
-
行人驱逐舰11-25少数几本我觉得自学会很吃力的书，但这主要是内容难，书本身不错。