数理逻辑的思想与方法

本书共六章，其中第一章主要介绍集合、集合运算的基本思想和方法，第二至四章介绍命题逻辑的基本思想和方法，第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密，选材适当，体系完整，论述准确，并建立在作者新的研究成果基础之上，对数理逻辑的基本思想和方法做了准确而严谨的论述。