本书叙述了与计算机科学紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求。本书研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。本书大部分章节附有习题。

本书读者对象：高校计算机专业师生，科研人员。

绪论

第一章 预备知识

第二章 经典命题逻辑

第三章 经典一阶逻辑

第四章 可靠性和完备性

第五章 紧致性定理、Lowenheim-Skolem定理、Herbrand定理

第六章 公理推演系统

第七章 构造性逻辑

第八章 模态命题逻辑

第九章 模态一阶逻辑

附录 自然推演中形式证明的简明形式

参考文献

符号表

汉英名词对照表

本书的内容是自足的。预备知识包括集以及归纳定义和归纳证明的基本概念，使用标准的陈述和记号。熟悉这些内容的读者可以略去，或者当需要时参考。