谢弗函数研究

前言 
第1章  谢弗函数的概念 
  1  谢弗函数的定义
    1.1  定义 
    1.2  波斯特定理
    1.3  句法概念 
    1.4  多级联结词 
  2  逻辑演算 
  3  希尔伯特新问题 
第2章  命题逻辑 
  1  强完全性定理 
    1.1  句法 
    1.2  语义 
    1.3  完全性定理
  2  系统Z 
    2.1  句法 
    2.2  语义 
    2.3  完全性定理
    2.4  历史注记 
  3  重言式的递归枚举 
    3.1  系统z以及Z# 
    3.2  命题逻辑的递归枚举 
第3章  证明复杂性 
  1  基本概念 
  2  多项式模拟 
    2.1  系统Z的规则 
    2.2  弗雷格系统
    2.3  遗传有穷集
    2.4  “扩张的”弗雷格系统
    2.5  多项式模拟 
第4章  证明论与哲学 
  1  基本概念和思想 
  2  谢弗竖的证明论 
  3  谢弗竖的经典理论 
  4  证明论解释 
  5  正规化定理 
第5章  量化理论 
  1  谢弗竖和存在量词 
    1.1  句法 
    1.2  基本语义 
    1.3  代入 
    1.4  欣迪卡集 
    1.5  公理系统QZh 
    1.6  公理系统QIZh 
  2  系统Z的量化理论 
    2.1  语法 
    2.2  语义 
    2.3  公理系统Z’ 
参考文献 
后记