谢弗函数研究

　　前言 
　　第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' 
　　参考文献 
　　后记

　　    逻辑联结词是逻辑的核心概念之一，《谢弗函数研究》是中国博士后基金项目“Sheffer竖研究”的研究成果，主要从逻辑史、逻辑演算、证明复杂性理论、证明论以及哲学方面对逻辑联结词谢弗函数进行了深入研究。
　　    《谢弗函数研究》可作为逻辑学、哲学和数学工作者理论学习和科学研究的参考书。