1、《数理逻辑基础之一阶逻辑与一阶理论》。作者:陈幕泽。内容简介:数理逻辑入门推荐教材,书中语言简单易懂,将抽象的数理逻辑具象化,深受读者喜爱;
2、《经典逻辑与非经典逻辑基础》。作者:杜国平。内容简介:逻辑是人类智能的核心。《经典逻辑与非经典逻辑基础》作者结合自己的研究成果比较系统地介绍了现代逻辑学的基本内容;
3、《数理逻辑与集合论》。作者:杨明、王宏。内容简介:本书讲述了题逻辑的基本概念、命题逻辑的等值和推理演算、命题逻辑的公理化等多方面内容,翔实可靠。