加载中...
扫一扫
下载苏宁易购APP
关注苏宁推客公众号
自购省钱·分享赚钱
下载苏宁金融APP
关注苏宁易购服务号
用户评价:----
物流时效:----
售后服务:----
实名认证领苏宁支付券立即领取 >
¥
提前抢
SUPER会员专享
由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
欢迎光临本店铺
点我可查看更多商品哦~
100%刮中券,最高50元无敌券,券有效期7天
亲,今日还有0次刮奖机会
我的云钻:0
您的云钻暂时不足,攒足云钻再来刮
恭喜获得1张券!
今天的机会已经全部用完了,请明天再来
恭喜刮出两张券,请选择一张领取
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
全新正版公理化真理论研究9787303289547北京师范大学出版社
¥ ×1
商品
服务
物流
编经典的公理化真理论 引言 章真理论的公理化进路 §1.1下定义的方法及其不足 §1.2模型论的方法及其不足 §1.3公理化进路的技术准备 第2章朴素的公理化真理论 §2.1PA的扩充 §2.2朴素的公理化真理论NT §.类型和无类型 第3章类型的公理化真理论 §3.1去引号理论DT §3.2塔尔斯基组合理论CT §3.3弱组合理论UDT §3.4紧缩论和保守 第4章无类型的公理化真理论 §4.1Friedman-Sheard理论FS §4.2无类型的去引号理论 §4.3Kripke-Fefelxnan理论KF 第5章基于公理化真理论的模态逻辑 §5.1模态谓词与蒙塔古悖论 §5.2基于FS的模态逻辑MFS §5.3基于KF的模态逻辑MKF §5.4更进一步的讨论 第6章公理化真理论的数学强度 §6.1CT的数学强度 §6.2数学强度的研究工具 第7章公理化真理论简评 参考文献 第2编基于直觉主义逻辑的公理化真理论 引言 第8章技术准备 §8.1海廷算术 §8.2递归函数与数字可表示 §8.3几个重要的定理 第9章直觉主义的类型真理论 §9.1类型去引号理论 §9.2类型组合理论SICT §9.3SICT的明论分析 0章直觉主义的Friedman-Sheard理论 §10.1IFS理论的构成 §10.2IFS理论的语义学 §10.3对IFS的进一步研究 1章直觉主义的Kripke—Feferman理论 §11.1IKF理论的构成 §11.2IKF理论的语义学 §11.3对IKF的进一步研究 2章直觉主义的弱公理化真理论 §12.1弱公理化真理论的必要 §12.2类型弱公理化真理论 §1.无类型弱公理化真理论 参考文献 第3编基于集合论的公理化真理论 引言 3章基础知识 §13.1二阶算术的形式系统 §13.2公理集合论系统zF §13.3公理集合论系统NBG §13.4公理集合论系统KP §13.5直觉主义的公理集合论系统IZF §13.6直觉主义的公理集合论系统INBG 4章具有集合常项的集合论的形式化句法 §14.1集合论的扩充语言 §14.2带有常项的集合论语言 §14.3带集合常项的集合论的形式句法 5章Morse-Kelley类理论MK和它的子系统 §15.1Morse-Kelley类理论MK §15.2MK的子系统 §15.3∑1范式定理 §15.4类理论中的良序 §15.5一些结论 6章塔尔斯基真 §16.1系统TC §16.2TC的子系统 §16.3TC与MK的子系统 7章迭代塔尔斯基真 §17.1系统RTa §17.2RTa的子系统 §17.3RT<E0的下界 §17.4RT<E0的上界 §17.5Friedman-Sheard系统FS 8章自指的真 §18.1系统KF §18.2KF的子系统 §18.3KFt的保守 §18.4KF和KR+Ind的上界 §18.5KFtc+Ind的下界 9章类理论的力迫和整体选择公理的保守 §19.1类理论的力迫定 §19.2兼纳滤子消除 §19.3个重要结论 参考文献 全书符号一览表 后记
该书的目的是为了介绍、完善和丰富公理化真理论的成果。全书内容从三个方面进行:个方面:以寻求能够避免说谎者悖论及其变体的“理想真理论”为线索,对以一阶逻辑和皮亚诺算术为基础理论的经典公理化真理论的基本理论和研究框架进行概述。第二个方面:减弱经典公理化真理论的基础理论,将一阶逻辑减弱为直觉主义逻辑,系统地研究基于直觉主义逻辑的公理化真理论。第三个方面:加强经典公理化真理论的基础理论,将皮亚诺算术加强为集合论,系统地研究基于集合论的公理化真理论。
抢购价:¥ 38.00
易购价:¥ 38.00
注:参加抢购将不再享受其他优惠活动
亲,很抱歉,您购买的宝贝销售异常火爆,让小苏措手不及,请稍后再试~
验证码错误
看不清楚?换一张
确定关闭
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
查看我的收藏夹
非常抱歉,您前期未参加预订活动,无法支付尾款哦!
关闭
抱歉,您暂无任性付资格
继续等待
0小时0分
立即开通
SUPER会员