作者：
出版社： 中国轻工业出版社
CIP号：2018208656
书号：978-7-5184-2095-7
出版地：北京
出版时间：2018.12
定价：￥32
本书是一本关于数理逻辑的导论书，面向的是没有任何数学基础的读者，主要介绍了数理逻辑中谓词演算的完全性、模型论、递归函数、哥德尔不完全性定理、集合论等，以帮助读者掌握关于数理逻辑的一般知识，提高其在日常生活中的分析能力。