书籍介绍
本书是一本关于数理逻辑的导论书，面向的是没有任何数学基础的读者，主要介绍了数理逻辑中谓词演算的完全性、模型论、递归函数、哥德尔不完全性定理、集合论等，以帮助读者掌握关于数理逻辑的一般知识，提高其在日常生活中的分析能力。
图书目录
引论 1
第一章 历史概览 3
第二章 谓词演算的完全性 21
第三章 模型论 39
第四章 图灵机与递归函数 63
第五章 哥德尔不完全性定理 89
第六章 集合论 115
推荐读物 151
索引 153
相关书籍
出版社其它书籍
引论 1
第一章 历史概览 3
第二章 谓词演算的完全性 21
第三章 模型论 39
第四章 图灵机与递归函数 63
第五章 哥德尔不完全性定理 89
第六章 集合论 115
推荐读物 151
索引 153
