作者：李娜编著
出版社： 南开大学出版社
CIP号：2016023292
书号：978-7-310-05062-8
出版地：天津
出版时间：2016.4
定价：￥38
本书共六章，其中第一章主要介绍集合、集合运算的基本思想和方法，第二至四章介绍命题逻辑的基本思想和方法，第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密，选材适当，体系完整，论述准确，并建立在作者新的研究成果基础之上，对数理逻辑的基本思想和方法做了准确而严谨的论述。