书籍介绍

这是一本把'严谨'本身当作写作准则的数理逻辑教材。它不靠篇幅取胜，反而以克制著称：有人初读嫌它'不详细'，重读才恍然——那些看似省略的地方，恰恰是作者刻意避开的冗余。书中最见功力的，是处理'用项替换变元'这一易错环节时，绕开'自由替换'的抽象定义，改用换名易字完成归纳，凝练而优雅。它明确面向数学系本科生，建议先修抽象代数；基于集合论的表述让一阶逻辑的语法与语义得以清晰对分。它不适合零基础自学，却适合愿意啃题的人：格森树形图、自由与约束变元的转换，都需要亲手推演才能真正吃透。

Preface

PART A

ⅠIntroduction

1.An Example from Group Theory

2.An Example from the Theory of Equivalence Relations

显示全部

用户评论

非常好的数理逻辑入门，本科数学系大二适用（最好学完抽代）

这本书不太适合逻辑学入门，特别是对计算机科学背景的人来说还是直接看software foundation吧，对象语言元语言先搞清楚了再看这种书就豁然开朗了

很多人觉得它不详细，回头看其实是concise才对。

很有意思、严谨而有一定挑战性的数理逻辑教材，不过也不过是数学教材而已（数学教材我最高打三星）（Koch评注黑格尔时居然还参考了这本书233）

复习的时候重读才发现真是没有一句废话而且很多很小的细节都照顾得很好。偏数学，不适合单独学习。