书目详细信息
： 范畴类型逻辑:从语言到逻辑
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5004-6711-3:CNY30.00 |
|---|---|
| 作品语种： | chi eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | 范畴类型逻辑/.邹崇理著 |
| 出版发行项： | 北京:,中国社会科学出版社:,2008 |
| 载体形态项： | 251页:;+图:;+24cm |
| 丛编项： | 中国社会科学院文库.哲学宗教研究系列 |
| 一般附注： | 中国社会科学院重大课题成果 |
| 提要文摘： | 本书是一本有关范畴研究的书籍。书中内容包括：范畴类型逻辑的发展阶段、范畴类型逻辑的特性—逻辑的新功能、范畴类型逻辑研究等。 |
| 并列题名： | Categorical typelogic eng |
| 题名主题： | 自然语言 范畴 数理语言学 |
| 索书号： | B812.21/Z88 |
| 中图分类： | B812.21 |
| 中图分类： | H087 |
| 个人名称等同： | 邹崇理 著 |
| 记录来源： | CN 北京出版发行物流中心有限责任公司数据制作部. 20081014 |
| 记录来源： | CN 20081014 |