机读格式显示(MARC)

• 000 01108nam 2200289 450

• 001 0000631172

• 005 20080923084000.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

• 905 __ |a JHUL |d B812.21/2