大书架
简明数理逻辑

豆瓣评论

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

热门推荐

声明：本站不产生/存储任何数据，所有资源均来自网络。