机读格式显示(MARC)
- 000 01069oam2 2200301 450
- 010 __ |a 978-7-5004-6711-3 |d CNY30.00
- 035 __ |a (110017)062008017717
- 100 __ |a 20080428d2008 em y0chiy0110 ea
- 200 1_ |a 范畴类型逻辑 |9 fan chou lei xing luo ji |e 从语言到逻辑 |d Categorical type logic |e from language to logic |f 邹崇理著 |z eng
- 210 __ |a 北京 |c 中国社会科学出版社 |d 2008
- 225 2_ |a 中国社会科学院文库 |i 哲学宗教研究系列
- 300 __ |a 中国社会科学院重大课题(2001-2005)成果
- 330 __ |a 本书共分三章,内容包括:范畴类型逻辑的发展阶段、范畴类型逻辑的特性——逻辑的新功能、范畴类型逻辑研究。
- 462 _0 |1 2001 |a 哲学宗教研究系列
- 510 1_ |a Categorical type logic |e from language to logic |z eng
- 517 1_ |a 从语言到逻辑 |A cong yu yan dao luo ji
- 701 _0 |a 邹崇理 |9 zou chong li |4 著
- 801 _0 |a CN |b ZPHC |c 20080522
- 905 __ |a ZPHC |d B812.21/1