数理逻辑

书籍简介:

本书是国内介绍数理逻辑基本知识的最新读本。著者针对文科学生学习数理逻辑所遇到的困难，尽可能结合传统逻辑来介绍数理逻辑的基础知识，着重介绍逻辑演算的部分内容；对其中的自然推理系统做了详细介绍，对公理系统仅做一般性介绍；力求以较为通俗的语言来阐述数理逻辑的基本原理和符号表达公式，并编配了练习题，具有较强的针对性和可读性。本书主要适用于高等院校文科本专科等非数学专业的文化素质教学，也是自学者的简明读本。

书籍规格:

书籍信息归属:

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