●篇古老的起源
●章從史前數學到希臘數學2
●第2章計算兩千年17
●第二篇古典時代
●第3章謂詞邏輯36
●第4章判定性問題與丘奇定理56
●第5章丘奇論題73
●第6章為計算樹立數學地位的嘗試——λ演算94
●第7章構造性100
●第8章構造性證明與算法113
●第三篇公理化危機
●第9章直覺主義類型論122
●0章自動化證明132
●1章證明檢驗145
●2章學界新進展153
●3章工具172
●4章公理的終結？187
●結語旅程的尾聲190
●附錄一人物簡介193
●附錄二參考文獻208......