|
题名:
|
范畴类型逻辑 fan chou lei xing luo ji / 邹崇理著 , |
|
ISBN:
|
978-7-5004-6711-3 价格： CNY30.00 |
|
语种:
|
chi |
|
载体形态:
|
251页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 中国社会科学出版社 出版日期： 2008.1 |
|
内容提要:
|
本书包括范畴类型逻辑的发展阶段、范畴类型逻辑的特性——逻辑的新功能、范畴类型逻辑研究等三个章节。 |
|
主题词:
|
范畴 研究 |
|
主题词:
|
范畴 |
|
中图分类法:
|
B812.21 版次： 4 |
|
其它题名:
|
从语言到逻辑 |
|
主要责任者:
|
邹崇理 zou chong li 著 |
|
附注:
|
中国社会科学院重大课题(2001-2005)成果 |
|
附注:
|
并列题名：Categorical type logic from language to logic |
|
附注:
|
其他题名：从语言到逻辑 |
|
责任者附注:
|
邹崇理，哲学博士，现任逻辑研究室主任等职务。 |
|
索书号:
|
B812.21/2296 |