绑定手机号

为保障账号安全，请先完成手机号认证。认证完成前无法继续操作。
获取验证码
正在合并账号数据，这将持续几分钟，请勿关闭页面...
收藏 纠错 引文

范畴类型逻辑：从语言到逻辑

CATEGORICAL TYPE LOGIC—FROM LANGUAGE TO LOGIC

ISBN：978-7-5004-6711-3

出版日期：2008-01

点击量：14926次

字数：255.0千字

页数：260

定价：30.00元

中图法分类：
出版单位：
中国社会科学出版社

丛书名：《中国社会科学院文库·哲学宗教研究系列》

关键词：
专题：
PDF试读 网页试读
购买电子书 ¥18.0 荐购
知识图谱 思维导图

图书简介

范畴类型逻辑是一种使用运算和推演的手段描述语言的形式化工具。本书对范畴类型逻辑的发展阶段、范畴类型逻辑的新功能和范畴类型逻辑的研究进行了全面的论述。

展开

作者简介

展开

图书目录

本站评论

    我的评论

    本书视频 本书图表
    伴读
    伴读
    章节速读
    智能问答
    相关推荐
    相关词
    参考文献

    章节速读

    智能问答

    历史对话

    所有内容由AI生成，仅供参考

    相关推荐

    相关词

    参考文献

    请支付
    ×
    元
    提示：您即将购买的内容资源仅支持在线阅读，不支持下载！

    当前账户可用余额 元

    余额不足，请先充值或选择其他支付方式

    请选择感兴趣的分类
    选好了，开始浏览
    以后再选择
    售前咨询：010-84083679 刘老师，张老师
    售后服务：010-84083679 张老师
    95133307@qq.com
    北京西城区鼓楼西大街甲158号

    快速链接

    版权所有：中国社会科学出版社 京ICP备05032912号-4 京公网安备11010202010100号

    ×
    推荐购买
    ×
    手机注册 邮箱注册
    获取短信验证码
     我已阅读并接受《中国社会科学文库用户协议》

    已有账号，返回登录

    ×
    一键登录 账号登录
    获取短信验证码
    通过CARSI登录 忘记密码?

    请使用手机登录默认注册账号

    其它方式登录

    通过CARSI登录
    ×
    手机找回 邮箱找回
    获取短信验证码

    返回登录

    引文

    ×
    GB/T 7714-2015 格式引文
    邹崇理.范畴类型逻辑：从语言到逻辑[M].北京：中国社会科学出版社,2008
    复制
    MLA 格式引文
    邹崇理.范畴类型逻辑：从语言到逻辑.北京,中国社会科学出版社:2008E-book.
    复制
    APA 格式引文
    邹崇理(2008).范畴类型逻辑：从语言到逻辑.北京：中国社会科学出版社
    复制
    ×
    错误反馈