前言 

第1章 謝弗函數(shù)的概念 
1 謝弗函數(shù)的定義
1.1 定義 
1.2 波斯特定理
1.3 句法概念 
1.4 多級聯(lián)結詞 
2 邏輯演算 
3 希爾伯特新問題 

第2章 命題邏輯 
1 強完全性定理 
1.1 句法 
1.2 語義 
1.3 完全性定理
2 系統(tǒng)Z 
2.1 句法 
2.2 語義 
2.3 完全性定理
2.4 歷史注記 
3 重言式的遞歸枚舉 
3.1 系統(tǒng)z以及Z# 
3.2 命題邏輯的遞歸枚舉 

第3章 證明復雜性 
1 基本概念 
2 多項式模擬 
2.1 系統(tǒng)Z的規(guī)則 
2.2 弗雷格系統(tǒng)
2.3 遺傳有窮集
2.4 "擴張的"弗雷格系統(tǒng)
2.5 多項式模擬 

第4章 證明論與哲學 
1 基本概念和思想 
2 謝弗豎的證明論 
3 謝弗豎的經(jīng)典理論 
4 證明論解釋 
5 正規(guī)化定理 

第5章 量化理論 
1 謝弗豎和存在量詞 
1.1 句法 
1.2 基本語義 
1.3 代入 
1.4 欣迪卡集 
1.5 公理系統(tǒng)QZh 
1.6 公理系統(tǒng)QIZh 
2 系統(tǒng)Z的量化理論 
2.1 語法 
2.2 語義 
2.3 公理系統(tǒng)Z' 
參考文獻 
后記