数理逻辑：证明及其限度郝兆宽
- 选择标签：数理化
- 出版时间：2025-01-04
- ISBN：9787040137989
- 出版社：高等教育出版社
- 作者：毕富生, 著
本书是国内介绍数理逻辑基本知识的最新读本。著者针对文科学生学习数理逻辑所遇到的困难，尽可能结合传统逻辑来介绍数理逻辑的基础知识，着重介绍逻辑演算的部分内容；对其中的自然推理系统做了详细介绍，对公理系统仅做一般性介绍；力求以较为通俗的语言来阐述数理逻辑的基本原理和符号表达公式，并编配了练习题，具有较强的针对性和可读性。本书主要适用于高等院校文科本专科等非数学专业的文化素质教学，也是自学者的简明读本。
