數(shù)理邏輯（第2版）

　　本書是一部難度適中的本科生數(shù)學教材.主要講述了什么是數(shù)學證明，這些證明怎么能夠被驗證以及電腦在多大程度上能夠執(zhí)行這些數(shù)學證明.本書從一階邏輯以及它在數(shù)學基礎中的作用的講述開始，深入闡述了 Trachtenbrot的不可判定性理論，基礎等值理論的Fraisse特性，以及邏輯程序設計的基礎這些經(jīng)典的知識點. 讀者對象：本書適用于數(shù)學、計算機科學、人工智能和決策學等各個領域的本科生、研究生以及相關專業(yè)的研究人員。

　　《數(shù)理邏輯》（第2版）的第1作者作者H.D. 埃賓豪斯（H.D.Ebbinghaus）是德國弗萊堡大學（Universität Freiburg） 數(shù)學系教授。