中社集刊学术资源库
切换用户
手机阅读
查看图书详细信息
3，查看图书网页阅读
京公网安备11010202010100号
引文
×GB/T 7714-2015 格式引文
邹崇理.范畴类型逻辑：从语言到逻辑[M].北京：中国社会科学出版社,2008
MLA 格式引文
邹崇理.范畴类型逻辑：从语言到逻辑.北京,中国社会科学出版社:2008E-book.
APA 格式引文
邹崇理(2008).范畴类型逻辑：从语言到逻辑.北京：中国社会科学出版社
智读图书
内容简介
章节速读
思维导图
知识图谱
智能问答
参考文献
内容简介
范畴类型逻辑：从语言到逻辑
CATEGORICAL TYPE LOGIC—FROM LANGUAGE TO LOGIC
ISBN：978-7-5004-6711-3
出版日期：2008-01
点击量：13954次
字数：255.0千字
页数：260
定价：30.00元
中图法分类：
出版单位：
关键词：
图书简介
范畴类型逻辑是一种使用运算和推演的手段描述语言的形式化工具。本书对范畴类型逻辑的发展阶段、范畴类型逻辑的新功能和范畴类型逻辑的研究进行了全面的论述。
作者简介
图书目录
相关推荐
-
{{ if indexType === 'Book' }}
{{ else if indexType === 'VideoList' }}
{{ else if indexType === 'AudioBook' }}
{{ /if }}
{{ if index === 1 }}
{{ else }}
{{index}}
{{ /if }}
{{ if indexType === 'Book' }}{{ else if indexType === 'VideoList' }}
{{ else if indexType === 'AudioBook' }}
{{ if indexType === 'Book' }} 图书 {{ else if indexType === 'VideoList' }} 课程 {{ else if indexType === 'BookRecommendVideo' }} 荐书 {{ else if indexType === 'AudioBook' }} 有声书 {{ /if }} {{ title }}
{{ if authorsText !='' }}作者：{{authorsText}}
{{ /if }}{{ if indexType === 'Book' }} 图书 {{ else if indexType === 'VideoList' }} 课程 {{ else if indexType === 'BookRecommendVideo' }} 荐书 {{ else if indexType === 'AudioBook' }} 有声书 {{ /if }} {{ title }}
豆瓣评论