O000403　数理逻辑引论

---

王宪钧著。

北京大学出版社1982年6月版。30万字。

分3篇16章。

第一篇“命题逻辑”，包括“真值连接词、真值函项、重言式”，“命题演算、命题逻辑的公理化和形式化”，“范式、完全性、一致性、公理的独立性”，“不同的命题逻辑、古典命题逻辑的不同的公理化”4章；第二篇“狭谓词逻辑”，包括“狭谓词逻辑里的形式结构、普遍有效性和可满足性”，“狭谓词演算”，“演绎定理、范式”，“判定问题、一致性和完全性”，“狭谓词逻辑的不同系统”，“有等词的狭谓词演算、摹状词”6章；第三篇“数理逻辑发展简述”，包括“数理逻辑发展的第一阶段”，“数理逻辑发展的第二阶段、集合论的创建”，“公理方法的发展”，“逻辑演算”，“构造主义和证明论”，“歌德尔定理、数理逻辑发展的第三阶段”6章。

第三篇附参考文献。