机读格式显示(MARC)

• 000 01576nam 2200481 450

• 001 0000288746

• 005 20080928110830.0

• 010 __ |a 978-7-5004-6711-3 |d CNY30.00

• 099 __ |a CAL 012008060619

• 100 __ |a 20080328d2008 ekmy0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 范畴类型逻辑 |A fan chou lei xing luo ji |e 从语言到逻辑 |d = Categorical type logic |e from language to logic |f 邹崇理著 |z eng

• 210 __ |a 北京 |c 中国社会科学出版社 |d 2008

• 215 __ |a 251页 |c 图 |d 24cm

• 225 2_ |a 中国社会科学院文库 |A zhong guo she hui ke xue yuan wen ku |i 哲学宗教研究系列

• 320 __ |a 有书目 (第236-242页)

• 330 __ |a 范畴类型逻辑是一种使用运算和推演的手段描述语言的形式化工具。本书对范畴类型逻辑的发展阶段、范畴类型逻辑的新功能和范畴类型逻辑的研究进行了全面的论述。

• 410 _0 |1 2001 |a 中国社会科学院文库 |i 哲学宗教研究系列

• 510 1_ |a Categorical type logic |e from language to logic |z eng

• 606 0_ |a 范畴 |A fan chou |x 研究

• 690 __ |a B812.21 |v 4

• 701 _0 |a 邹崇理 |A zou chong li |4 著

• 801 _0 |a CN |b NUL |c 20080504

• 801 _2 |a CN |b SCNU |c 20080928

• 905 __ |a SCNU |f B812.21/2721

• 920 __ |a 232010 |z 1

• 920 __ |a 231010 |z 1

• 920 __ |a 211020 |z 1

• 920 __ |a 237385 |z 1

• 920 __ |a 233020 |z 1

• 920 __ |a 211030 |z 1

• 920 __ |a 211060 |z 1

• 920 __ |a 241010 |z 1

• 920 __ |a 211010 |z 1

• 920 __ |a 212020 |z 1

• 998 __ |a NUL

• 999 __ |M gwn |m 20080928 11:08:30 |G gwn |g 20080928 11:08:39

• 000 0000357505

• 991 __ |a 012008013353

• 907 __ |a SCNU |f B812.21/2721