简明数理逻辑电子书的评论，读后感，观后感-琅嬛苑

豆瓣评论

马蹄北去

一阶逻辑＋不完全定理＋四论初步，内容算是相当全面了。与递归论和模型论的部分相比，集合论和证明论内容偏少（证明论部分可以提一下Gentzen的矢列演算）。有一些其他教材少见的内容，比如有限模型论（Trakhtenbrot定理和Fraïssé定理），以及Craig内插和Beth可定义（所谓经典逻辑的最后一个重要定理，但许多数理逻辑教材都没有涉及）07-28
苹果梦

内容比较全面，值得学习。09-24