O000400　数理逻辑基础

---

胡世华等著。

科学出版社1981年1月版(上册)，1982年8月版(下册)。39．2万字。2册。共6部分。绪论对数理逻辑的性质、逻辑演算的大概内容，以及阅读各章所需要的预备知识作了简要说明；第一章构造命题逻辑和一阶逻辑的形式系统，介绍演绎逻辑的基本规则；第二章研究逻辑演算的重要系统特征；第三章陈述逻辑演算的重言式系统；第四章研究逻辑演算的可靠性、完全性和独立性问题；第五章讨论逻辑演算如何应用于陈述具体的数学理论，构造初等代数、自然数、集和实数理论的形式系统，并研究了在形式系统中引进形式符号定义的问题。