数理逻辑十二讲(面向CS2013计算机专业规划教材)

宋方敏、吴骏编著的《数理逻辑十二讲(面向CS2013计算机专业规划教材)》为数理逻辑的入门教材，主要介绍命题逻辑和一阶逻辑。本书既引入自然推理风格的Gentzen系统，又引入永真推理风格的Hilbert系统，详细证明四个基本定理：完全性定理、紧性定理、Gentzen的Hauptsatz和Herbrand定理。本书最后介绍模态逻辑。

通过本书的学习，学生将掌握数理逻辑的基本概念、基本理论、基本推理，以及公理系统和形式化方法。本书作为计算机科学的基础教材，对培养学生的科学素养以及提高解决问题的能力具有重要的意义。