返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:

  • 正版新书]公理化真理论研究李娜 等9787303289547
  • 全店均为全新正版书籍,欢迎选购!新疆西藏青海(可包挂刷).港澳台及海外地区bu bao快递
    • 作者: 李娜 等著 | 李娜 等编 | 李娜 等译 | 李娜 等绘
    • 出版社: 北京师范大学出版社
    • 出版时间:2023-05-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    君凤文轩图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品参数
    • 作者: 李娜 等著| 李娜 等编| 李娜 等译| 李娜 等绘
    • 出版社:北京师范大学出版社
    • 出版时间:2023-05-01
    • 版次:1
    • 印次:1
    • 字数:360000
    • 页数:380
    • 开本:16开
    • ISBN:9787303289547
    • 版权提供:北京师范大学出版社
    • 作者:李娜 等
    • 著:李娜 等
    • 装帧:精装
    • 印次:1
    • 定价:98
    • ISBN:9787303289547
    • 出版社:北京师范大学出版社
    • 开本:16开
    • 印刷时间:暂无
    • 语种:暂无
    • 出版时间:2023-05-01
    • 页数:380
    • 外部编号:涿物流园53527
    • 版次: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个重要结论

    参考文献

    全书符号一览表

    后记

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购