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