作者	毕富生
出版社
出版时间	2004-01-01

特色：

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