书目详细信息
： 范畴类型逻辑
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5004-6711-3:CNY30.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 范畴类型逻辑/.邹崇理著 |
| 出版发行项： | 北京:,中国社会科学出版社:,2008 |
| 载体形态项： | 251页:;+24cm |
| 丛编项： | 中国社会科学院文库.哲学宗教研究系列 |
| 一般附注： | 中国社会科学院重大课题(2001-2005)成果 |
| 提要文摘： | 本书包括范畴类型逻辑的发展阶段、范畴类型逻辑的特性——逻辑的新功能、范畴类型逻辑研究等三个章节。 |
| 分集： | 哲学宗教研究系列 |
| 并列题名： | Categorical type logic : from language to logic eng |
| 题名主题： | 范畴 研究 |
| 题名主题： | 范畴 |
| 中图分类： | B812.21 |
| 个人名称等同： | 邹崇理 著 |
| 记录来源： | CN SDL 20110110 |