數(shù)理邏輯

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

暫缺《數(shù)理邏輯》作者簡介