点击购买此书全本PDF电子书
引论 1
第一章 历史概览 3
第二章 谓词演算的完全性 21
第三章 模型论 39
第四章 图灵机与递归函数 63
第五章 哥德尔不完全性定理 89
第六章 集合论 115
推荐读物 151
索引 153