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