A Mathematical Introduction to Logic

作为一本面向数学与哲学本科生的经典教材，本书最鲜明的特质在于其'数学成熟度'：记号严谨、论述清晰，并较早地给出递归定理与可判定性的严格证明，这在同类哲学系教材中并不常见。读者反馈呈现出明显的两极——有人盛赞作者'写得清楚又清楚'，注重直觉与线索引导；也有人卡在130页后'拼尽全力无法战胜'而放弃。这种差异恰恰揭示了它的定位：它不适合零基础的轻松速读，而适合已具备数学推理经验、愿意与严格证明正面交锋的读者。书中还穿插了计算机科学议题与一阶逻辑的模型理论，使其成为连接逻辑、数学与计算的桥梁。