本書包含一階數(shù)理邏輯的基本核心內(nèi)容， 具體包括一階理論簡介、一階理論的若干定理、一階理論的特殊問題、形式系統(tǒng)的一般理論、 模型論、 遞歸函數(shù)和圖靈機(jī)、哥德爾不完全性定理、遞歸論等。 可分別作為計(jì)算機(jī)科學(xué)和數(shù)學(xué)專業(yè)的本科生和研究生教材。 也可供相關(guān)科技工作者參考。