由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高99元无敌券,券有效期7天
活动自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个重要结论
参考文献
全书符号一览表
后记
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格
