数理逻辑入门书推荐

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

    推荐阅读