数理逻辑

书籍简介:

本书是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲，第1-4章为基础内容，第5-6章为高阶内容。具体来看，第1章从思想史角度讲述哲学之于逻辑的动机催发，第2章讲述命题逻辑的早期简史、语法语义、完全性、紧致性等，第3章讲述一阶逻辑的早期简史、语法语义、完全性、紧致性及应用、哲学的应用等，第4章讲述一阶理论的基本性质、几种形式等，第5章讲述哥德尔两个不完全性定理的数学哲学动机、详细证明过程、一些相关推论等，第6章以模态逻辑为例说明逻辑之于哲学的实际应用。

书籍规格:

书籍信息归属:

数理逻辑是中国人民大学出版社于2020.8出版的中图分类号为 O141 的主题关于 数理逻辑－高等学校－教材 的书籍。