數理邏輯：證明及其限度
本書是「邏輯與形而上學教科書系列」中的一本。書中從零起點開始，介紹了集合論基本知識，命題邏輯、一階邏輯的語法和語義，哥德爾完全性定理，遞歸論基本知識，簡化版本的自然數模型，哥德爾不完全性定理等內容。
本書尤其面向對數學基礎感興趣的的讀者。相對於其他數理邏輯教材，本書更強調邏輯與元數學的聯系，更多地介紹語義部分，強調語法語義的統一。書中，除了對各個知識點本身的講解，還介紹了它們的直觀和思想背景。
本書適合作為數理邏輯系列課程的導論，並為后繼課程做准備。為此，在最后一章中簡單介紹了數理邏輯當代研究成果及其與本書內容的聯系。希望讀者掌握了本導論的內容之后有意於繼續學習更深、更專門、更有意思的內容。
書中所含習題能使讀者通過練習得到必要的訓練，並自我檢驗對有關內容的理解。
