内容简介 · · · · · ·
本书介绍数理逻辑的基础部分。绪论除介绍逻辑初步概念外还讲述了有关集合论和递归论的初步知识。正文前四章的内容属一阶逻辑，其中前两章是以非形式化的方式介绍命题逻辑和谓词逻辑，后两章分别给出了一个经典命题逻辑演算系统P和一个经典谓词逻辑演算系统Q，讨论了它们的元性质，最后还给出了一个与Q等价的形式系统QS。最后一章介绍了有关一阶理论的知识，主要是模型论的基础内容及不可判定问题。各章节后一般都附有适量的习题。本书适合作为高等院校文科、理工科所开设的与现代逻辑相关课程的教材或参考书。
> 更多短评 9 条
数理逻辑基础的话题 · · · · · · ( 全部 条 )
什么是话题
无论是一部作品、一个人，还是一件事，都往往可以衍生出许多不同的话题。将这些话题细分出来，分别进行讨论，会有更多收获。
数理逻辑基础的书评 · · · · · · ( 全部 0 条 )
在哪儿借这本书 · · · · · ·
以下豆列推荐 · · · · · · ( 全部 )
- 逻辑学须看书籍 (斯宾诺莎的镜片)
- 逻辑与分析哲学（科学哲学、语言哲学、心灵哲学、逻辑哲学）学习书目 (水井八)
- 逻辑哲学 (易敏)
- 逻辑 (生活在别处)
- 20181025管理类联考知乎推荐书单列表 (黎黎酱)
谁读这本书?
二手市场
订阅关于数理逻辑基础的评论:
feed: rss 2.0
0 有用 Amasia 2010-02-16
一阶理论那部分没看，不过除了一些恼人的小错误以外，这本书总的来看不错
0 有用 超人 2013-03-17
前两章和语义部分还是挺清晰易懂的，可惜语法部分写得不好。要是有习题答案就好了！第五章还是读不下去，太尴尬！
0 有用 乌冬球 2011-06-28
佛荣哥 我对不起你
0 有用 水井八 2006-01-01
教材
0 有用 RiverC 2008-08-07
已有。刘晓力的课上用过，有个别错误
0 有用 冬日暖阳 2018-10-10
最后还是看不进去
0 有用 nadaaa 2016-01-08
没习题答案出什么书啊…
0 有用 Amy 2014-04-01
天！
0 有用 超人 2013-03-17
前两章和语义部分还是挺清晰易懂的，可惜语法部分写得不好。要是有习题答案就好了！第五章还是读不下去，太尴尬！
0 有用 乌冬球 2011-06-28
佛荣哥 我对不起你