机读格式显示(MARC)
- 000 01072nam0 2200313 450
- 010 __ |a 978-7-5004-6711-3 |d CNY30.00
- 100 __ |a 20080916d2008 em y0chiy0110 ea
- 200 1_ |a 范畴类型逻辑 |9 fan chou lei xing luo ji |d =Categorical type logic |e from language to logic |e 从语言到逻辑 |z eng |f 邹崇理著
- 210 __ |a 北京 |c 中国社会科学出版社 |d 2008
- 225 2_ |a 中国社会科学院文库 |i 哲学宗教研究系列
- 300 __ |a 中国社会科学院重大课题(2001-2005)成果
- 330 __ |a 本书包括范畴类型逻辑的发展阶段、范畴类型逻辑的特性——逻辑的新功能、范畴类型逻辑研究等三个章节。
- 461 _0 |1 2001 |a 中国社会科学院文库
- 462 _0 |1 2001 |a 哲学宗教研究系列
- 510 1_ |a Categorical type logic |e from language to logic |z eng
- 701 _0 |a 邹崇理 |9 zou chong li |f (1953~) |4 著
- 801 _0 |a CN |b YNNI |c 20101102
- 905 __ |a YNNI |d B812.21/2721