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