数理逻辑

这本书最打动人的地方，是它把「数学」与「逻辑」的关系处理得极为克制。它不追求面面俱到的详尽，反而以concise著称——初读者常嫌它「不详细」，回头才懂那叫「没有废话」。全书围绕一阶逻辑展开，从语法到模型，从形式推理系统的可靠性、完全性，到哥德尔不完全性定理，层层递进。它最大的价值在于「把 syntax 和 semantics 捋清」：只有厘清符号的语法结构与语义解释，一阶逻辑才算真正入门。不过它偏数学、习题硬核，尤其是Gentzen树形图与自由/约束变元的换名处理，常让人「要命」。它适合有抽代基础的本科数学系读者，作为系统入门；若想轻松自学，可能会被劝退。