本书在H.M.Sheffer和张清宇先生等人工作的基础上,提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号,就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项,由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征,证明了中国表示
《数理逻辑》介绍数理逻辑的基本内容,如经典一阶逻辑(包括命题逻辑和谓词逻辑)的句法、语义、逻辑演算(形式证明)以及刻画句法和语义之间关系的完全性定理,初步的模型论内容,集合论初步知识,哥德尔第二不完全性定理以及所需的递归论内容,等等。这些内容为我们学习20世纪伟大的数学发现——哥德尔定理提供了基础,也为进一步学习和研究