本書是“邏輯與形而上學教科書繫列”中的一本。書中從零起點開始,介紹了數理邏輯的基本知識。全書共10章:第一章是預備知識,主要介紹書中所需要的集合論的初步知識:第二至第六章是一階邏輯的基本內容,重點介紹哥德爾的完全性定理;第七章是遞歸論的基本知識,也是為後面內容所做的準備;第八章介紹一階算術的一些片段;第九和第十章是哥德爾的兩個不完全性定理。本書主要面向對數學基礎感興趣的讀者。與其他數理邏輯教材相比,本書更加強調數學的聯繫,更多介紹語義部分,更加強調語法與語義的統一。書中除了講解各個知識點本身之外,還介紹了它們的思想背景,也簡單介紹了數理邏輯當代研究成果及其與本書內容的聯繫。本書適合作為數理邏輯繫列課程的導論教材,可以為進-步學習與研究數理邏輯後繼課程建立興趣並打下基礎。本書也可以幫助有興趣的讀者了解數理邏輯的基本概念與技巧。