逻辑和代数是计算机科学的两大理论基础。数理逻辑各个分支中的许多方面和计算机科学有着密切的联系。本书是作者在多年给硬士研究生讲授《数理逻辑》课程讲义的基础上编写面成的． 本书系统地介绍了逻辑演算，模型论和证明与反驳等数理逻辑的基本内容。全书分为五章，选材时充分考虑了适应逻辑系统的特征和计算机科学的要求_第一章介绍了形式系统的定义，结构及基本概念。第二章介绍了命题逻辑形式系统和消解原理．第三章和第四章分别介绍了一阶逻辑形式系统和带等词的一阶逻辑形式系统，以及模型论的初步知识。其中对形式系统解释的定义采用了更适合描述程序语义的方式，而不是传统的方式。第五章重点讨论证明一阶逻辑中定理的实践问题