O000403　数理逻辑引论

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第12册数理科学和化学、生物科学》第42页（366字）

王宪钧着。北京大学出版社1982年6月版。30万字。分3篇16章。第一篇“命题逻辑”，包括“真值连接词、真值函项、重言式”，“命题演算、命题逻辑的公理化和形式化”，“范式、完全性、一致性、公理的独立性”，“不同的命题逻辑、古典命题逻辑的不同的公理化”4章；第二篇“狭谓词逻辑”，包括“狭谓词逻辑里的形式结构、普遍有效性和可满足性”，“狭谓词演算”，“演绎定理、范式”，“判定问题、一致性和完全性”，“狭谓词逻辑的不同系统”，“有等词的狭谓词演算、摹状词”6章；第三篇“数理逻辑发展简述”，包括“数理逻辑发展的第一阶段”，“数理逻辑发展的第二阶段、集合论的创建”，“公理方法的发展”，“逻辑演算”，“构造主义和证明论”，“歌德尔定理、数理逻辑发展的第三阶段”6章。第三篇附参考文献。