数理逻辑入门

书籍简介:

本书是一本数理逻辑导论教材，主要介绍数理逻辑的基础知识，包括命题逻辑、一阶逻辑、不完全性定理及不完全性证明等，并穿插对逻辑学家的介绍以及对数理逻辑基本概念的说明，以给高校学生和大众读者介绍关于数理逻辑的一般知识，帮助其提高在日常生活中的推理和论证能力。

书籍规格:

书籍信息归属:

数理逻辑入门是中国轻工业出版社于2018.12出版的中图分类号为 O141 的主题关于 数理逻辑－教材 的书籍。