《数理逻辑教程》

莫绍揆著。华中工学院出版社1982年12月出版，391页，约28万字。全书除绪论外共分四章。绪论部分说明了数理逻辑的对象和符号的使用法。第一、二章论述不使用约束词的部分(逻辑代数)。第一章专论命题演算，介绍了古典命题逻辑、直觉主义命题逻辑、构造主义命题逻辑和极小命题逻辑，并讨论了它们之间的关系和它们的元逻辑性质(可判定性、不矛盾性和完备性)。第二章首先陈述同异性演算，然后介绍组合逻辑、布尔代数、模态逻辑和多值逻辑，最后给出了逻辑代数的一个应用实例(开关代数)。第三、四章论述使用约束词的部分(逻辑演算)。第三章论述狭谓词演算和摹状词，介绍了古典谓词逻辑、直觉主义谓词、构造主义谓词逻辑和极小谓词逻辑，并讨论了它们之间的关系和它们的元逻辑性质(不矛盾性和完备性)。第四章论述约束谓词演算，介绍了集合论演算，并讨论了全总谓词演算系统及形式公理系统的简化。

本书很有特色，提供了不少创见，为中国培养数理逻辑研究人才和推动这方面的研究作出了贡献。