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