| 《数理逻辑教程》 莫绍揆著。华中工学院出版社1982年出版。以教材形式介绍了数理逻辑的基本理论和近年来的新成果，系统地论述了数理逻辑一系列基本概念的来龙去脉及各家之说，以经典逻辑为主要内容。还涉及布尔代数、组合逻辑、模态逻辑、多值逻辑等逻辑学分支，并论述了经典、构造、直觉及极小演算之间的相互关系。以波兰字母表述命题公式，注重自然推理，使其具有(准)子公式性质。该书对于约束词的新提法、永真假性的特征数概念、开关布尔表达式的化简方法等等，均具创见。所提出的“没有高级谓词，高级谓词(函词)实际上就是约束词(量词与摹状词)”的见解也富有启发性。 |