数理逻辑

这是一本让读者评价两极分化的数理逻辑入门书：赞它的人视之为「走向逻辑之路的必读」，嫌它的人抱怨「不详细」「要命」。拆开这两端，会发现它的取舍相当明确——偏数学、重证明、篇幅凝练，几乎不为学生兜底。它把一阶逻辑作为主线，以集合论为表述基础，追求概念的清晰与叙述的干净，连「项替换变元」这样容易绕晕人的细节都处理得优雅。但正因如此，它不适合零基础自学，也不适合只想速成的读者；有抽象代数底子、愿意啃Gentent树形图、把syntax与semantics反复捋清的数学系学生，才能真正领受它的好。读完它，你得到的不是一份详尽手册，而是一种克制而严密的逻辑观。