谢弗函数研究

《谢弗函数研究》是2011年广州暨南大学出版社有限责任公司出概顺请新首行极版的图书，作者是刘新文。

• 书名 谢弗函数研究
• 作者 刘新文
• ISBN 9787811358810
• 定价 26.00元
• 出版社 广州暨南大学出版社有限责任公司

图书信息

　　书 名: 谢弗函数研究

　　作 者:刘新文

　　出版社: 广州暨南大学出版社有限责任公司

　　出版时来自间: 2011年9360百科月22日

内容简介

　　逻辑联结词是逻辑的核心概电味续之银斯的两们章喜念之一，刘新文编著的这是中国博士后基金项目"Sheffer竖研究"的研究成果，主要从逻辑史、逻辑演算、证明复杂性理论、福几左行证明论以及哲学方面对逻辑联结词谢弗函数进行了深入研究。

　　《谢弗函数研究》可作为逻辑学、哲学和数学工作者理论学习和科学研究的参考书。

图书目录

　　前言 /1

　　第1章 谢弗函报议洋数的概念 /1

　　1 谢弗函数的定义/2

　　1.1 定义 /3

　　1.2 波斯特定理/7

来自　　1.3 句法概念 /9

　　1.4 多级联结词 /12

　　2 逻辑演算 /1纸住项兵表5

　　3 希尔伯特尔新问题 /21

　　第2章 命题逻辑 /28

　　1 强完全性定理 /28

　　1.1 句法 /28

　　1.2 语与很翻足义 /35

　　1.3 完全性定理/39

　　2 系统Z /40

　　2.1 句法 /40

　　2.2 语义 /45

　　2.3 完全性定理/48

　　2.4 历史注记 /50

　　3 重言式的递归枚举 /50

　　3.1 系统简z以及Z# /51

　　3.2 命题逻辑的递归枚举 /53

　　第3章 证明复杂性 /62

　　1 基本概念 /62

　　2 多项式模拟 /64

　　2.1 系统Z的规则 /64

　　2.360百科2 弗雷格系统/65

　　2.3 遗传有穷集/69

立镇眼帝兴轻到跑居　　2.4 "扩张的"弗雷格系统/72

　陆居具急领通请　2.5 多项式模拟 /75

　　第4章 证明论与哲学 /78

　　1 基本概念和怕赶光已上思想 /79

　　2 谢弗竖的证明论 /81

　　3 谢弗竖的经典理论 /89

　　4 证明论解释 /98

　　5 正规化定理 /106

　　第5章 量化理论 /117

　　1 谢弗竖和存在量词 /118

　　1到基铁渐在模粮易蛋元球.1 句法 /118

　　1.2 基本语义 /120

　　1.3 代入 /127

病露差景陈区林　　1.4 欣迪卡集 /140

　　1.5 公理系统QZh /147

　　1.6 公理系统QIZh /152

　　2 系统Z的加联次量化理论 /160

　　2.1 语法 /161

　　2.2 语义 /矿乐重假头南庆162

　　2.3 公粮合品括问后部植排还理系统Z' /164

　　参考文击经架地名兵掌诗夜服献 /169

　　后记 /187