软件介绍: 国防科大王兵山主编数理逻辑教材，有点看着了，如果想考博可以下载。    逻辑和代数是计算机科学的两大理论基础。数理逻辑各个分支中的许多方面和计算机科学有着密切的联系。本书是作者在多年给硬士研究生讲授《数理逻辑》课程讲义的基础上编写面成的．    本书系统地介绍了逻辑演算，模型论和证明与反驳等数理逻辑的基本内容。全书分为五章，选材时充分考虑了适应逻辑系统的特征和计算机科学的要求_第一章介绍了形式系统的定义，结构及基本概念。第二章介绍了命题逻辑形式系统和消解原理．第三章和第四章分别介绍了一阶逻辑形式系统和带等词的一阶逻辑形式系统，以及模型论的初步知识。其中对形式系统解释的定义