"本書(shū)對(duì)數(shù)理邏輯的基礎(chǔ)知識(shí)進(jìn)行了系統(tǒng)介紹。全書(shū)共8章，其中，第1章介紹了數(shù)理邏輯的基本思想以及后面各章所用到的預(yù)備數(shù)學(xué)知識(shí)，第2~6章分別介紹了命題邏輯和謂詞邏輯，構(gòu)造了它們的形式系統(tǒng)，并討論了它們的系統(tǒng)性質(zhì)，進(jìn)而引入了包含數(shù)學(xué)理論的形式系統(tǒng)，前6章是本書(shū)核心內(nèi)容；后2章介紹了哥德?tīng)柕牟煌耆�性定理、算法可�?jì)算性，這部分相對(duì)于前6章而言是擴(kuò)展內(nèi)容。
本書(shū)論述深入淺出，脈絡(luò)清晰，每章均配有一定數(shù)量的習(xí)題，適合自學(xué)使用。本書(shū)不需要讀者具有較多專門(mén)的數(shù)學(xué)知識(shí)，具備高中數(shù)學(xué)知識(shí)基礎(chǔ)的讀者也可以掌握本書(shū)的絕大部分內(nèi)容，只需要讀者多思考即可。本書(shū)適合作為高等院校工科相關(guān)專業(yè)本科生的數(shù)理邏輯教材，也可作為數(shù)學(xué)專業(yè)、邏輯學(xué)專業(yè)、語(yǔ)言學(xué)專業(yè)相關(guān)領(lǐng)域科研工作者的參考書(shū)。"