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