书目详细信息
： 范畴类型逻辑:从语言到逻辑
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5004-6711-3:CNY30.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 范畴类型逻辑/.邹崇理著 |
| 出版发行项： | 北京:,中国社会科学出版社:,2008.1 |
| 载体形态项： | 251页:;+图:;+24cm |
| 丛编项： | 中国社会科学院文库.哲学宗教研究系列 |
| 提要文摘： | 范畴类型逻辑是一种使用运算和推演的手段描述语言的形式化工具。本书对范畴类型逻辑的发展阶段、范畴类型逻辑的新功能和范畴类型逻辑的研究进行了全面的论述。 |
| 并列题名： | Categorical type logic eng |
| 题名主题： | 范畴 研究 |
| 中图分类： | B812.21 |
| 个人名称等同： | 邹崇理 著 |
| 记录来源： | CN NUL 20080504 |
| 记录来源： | CN YNAU 20090512 |