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