1、《数理逻辑基础之一阶逻辑与一阶理论》。作者：陈幕泽。内容简介：数理逻辑入门推荐教材，书中语言简单易懂，将抽象的数理逻辑具象化，深受读者喜爱；
2、《经典逻辑与非经典逻辑基础》。作者：杜国平。内容简介：逻辑是人类智能的核心。《经典逻辑与非经典逻辑基础》作者结合自己的研究成果比较系统地介绍了现代逻辑学的基本内容；
3、《数理逻辑与集合论》。作者：杨明、王宏。内容简介：本书讲述了题逻辑的基本概念、命题逻辑的等值和推理演算、命题逻辑的公理化等多方面内容，翔实可靠。
基础入门建议用：陈幕泽的《数理逻辑基础-一阶逻辑与一阶理论》，杜国平的《经典与非经典逻辑基础》挑战难度建议用：石纯一的《数理逻辑与集合论》，耿素云的《离散数学》，中国邮电出版的《数理逻辑与归结原理》
