云南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

范畴类型逻辑:from language to logic/邹崇理著

出版发行项:

北京:中国社会科学出版社,2008

ISBN及定价:

978-7-5004-6711-3/CNY30.00

载体形态项:

251页;24cm

并列正题名:

Categorical type logic:from language to logic

其它题名:

从语言到逻辑

丛编项:

中国社会科学院文库.哲学宗教研究系列

个人责任者:

邹崇理 (1953~) 著

学科主题:

范畴-研究

学科主题:

范畴

中图法分类号:

B812.21

一般附注:

中国社会科学院重大课题(2001-2005)成果

提要文摘附注:

本书包括范畴类型逻辑的发展阶段、范畴类型逻辑的特性——逻辑的新功能、范畴类型逻辑研究等三个章节。

豆瓣简介：