本書(shū)涵蓋了命題邏輯、一階邏輯、不可判定性以及二階邏輯等方面的內(nèi)容，并且包含了與計(jì)算機(jī)科學(xué)有關(guān)的主題，如有限模型。本書(shū)特點(diǎn)是：內(nèi)容可讀性強(qiáng)；組織結(jié)構(gòu)更靈活，授課教師可根據(jù)教學(xué)需要節(jié)選本書(shū)的內(nèi)容；反映了近幾年來(lái)理論計(jì)算機(jī)科學(xué)對(duì)邏輯學(xué)產(chǎn)生的影響；包含較多的示例和說(shuō)明。本書(shū)既能適用于計(jì)算機(jī)專業(yè)又能滿足數(shù)學(xué)系基礎(chǔ)數(shù)學(xué)專業(yè)，為了適合不同層次的讀者，在內(nèi)容上有深有淺。本書(shū)適合數(shù)學(xué)系大學(xué)生、數(shù)學(xué)系教師以及數(shù)學(xué)愛(ài)好者閱讀。