Logic for Mathematicians

这是一本让读者又爱又恨的数理逻辑入门书。爱它：作为剑桥出的经典教材，它把逻辑学放进数学的整体语境里讲，不偏废某一方向，从日常讨论自然过渡到形式化技巧，证明写得严谨扎实，习题难度适中，适合只有第一年数学基础的读者入门。恨它：有人读完前四章、做完每道习题后对逻辑“死心”，甚至“吐血而死”，可见其训练之硬核；也有读者抱怨解释性文字和思路铺垫太少，部分术语偏老。正因如此，它更像一本要靠读者亲手做题、逐条啃证明才能吃透的书，而非拿来轻松通读的科普。若你追求的是逻辑背后的直观动机与讲述，它可能让你失望；若你想要的是严谨、克制的经典训练，它值得反复打磨。