本书系统地介绍了逻辑演算，模型论和证明与反驳等数理逻辑的基本内容。全书分为五章，选材时充分考虑了适应逻辑系统的特征和计算机科学的要求_第一章介绍了形式系统的定义，结构及基本概念。第二章介绍了命题逻辑形式系统和消解原理．第三章和第四章分别介绍了一阶逻辑形式系统和带等词的一阶逻辑形式系统，以及模型论的初步知识。其中对形式系统解释的定义采用了更适合描述程序语义的方式，而不是传统的方式。第五章重点讨论证明一阶逻辑中定理的实践问题，给出了多种方法以提高证明效率9同时给出了Herbrand定理及有关结果。此乃人工智能中机械定理证明的理论基础。全书论述严谨详细，并配有一定数量的例题和习题，便于教学和自学．