版权声明
译者序
致辞
前言
第一篇　古老的起源
第 1 章　从史前数学到希腊数学
第 2 章　计算两千年
第二篇　古典时代
第 3 章　谓词逻辑
第 4 章　判定性问题与丘奇定理
第 5 章　丘奇论题
第 6 章　为计算树立数学地位的尝试——λ 演算
第 7 章　构造性
第 8 章　构造性证明与算法
第三篇　公理化危机
第 9 章　直觉主义类型论
第 10 章　自动化证明
第 11 章　证明检验
第 12 章　学界新进展
第 13 章　工具
第 14 章　公理的终结？
结语　旅程的尾声
附录一　人物简介
附录二　参考文献