作者：刘桂利著
出版社： 中国商业出版社
CIP号：2018268018
书号：978-7-5208-0610-7
出版地：北京
出版时间：2018.12
定价：￥35.0
本书主要介绍集合、集合运算的基本思想和方法、命题逻辑的基本思想和方法、狭谓词逻辑的基本思想和方法。本书在选材上，只涉及数理逻辑的基本内容（包括命题逻辑和狭谓词逻辑），不涉及传统逻辑，也不涉及现代逻辑的其他分支，因此，本书的体系是作者的独创，另外，为了使读者更好地理解和掌握数理逻辑的思想和方法，大部分章节都配有一定量的练习。另外，为了使读者更好地理解和掌握数理逻辑的思想和方法，大部分章节都配有一定量的练习。