数理逻辑（第2版）

　　本书是一部难度适中的本科生数学教材.主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行这些数学证明.本书从一阶逻辑以及它在数学基础中的作用的讲述开始，深入阐述了 Trachtenbrot的不可判定性理论，基础等值理论的Fraisse特性，以及逻辑程序设计的基础这些经典的知识点. 读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生、研究生以及相关专业的研究人员。

　　《数理逻辑》（第2版）的第1作者作者H.D. 埃宾豪斯（H.D.Ebbinghaus）是德国弗莱堡大学（Universität Freiburg） 数学系教授。