机读格式显示(MARC)

• 000 01125nam2 2200337 4500

• 000 0000139909

• 001 0000098069

• 005 20070601094335.0

• 010 __ |a 7-03-009657-6 |d CNY19.00

• 100 __ |a 20070601d em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 面向计算机科学的数理逻辑 |9 Mian Xiang Ji Suan Ji Ke Xue De Shu Li Luo Ji |f 陆钟万著 |F Lu Zhong Wan Zhu

• 205 __ |a 2版

• 210 __ |a 北京 |c 科学出版社 |d 2002

• 215 __ |a 13,263页 |d 21cm

• 225 2_ |a 中国科学院研究生教学丛书

• 300 __ |a 普通高等教育“九五”国家级重点教材

• 330 __ |a 本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。

• 461 _0 |1 2001 |a 中国科学院研究生教学丛书

• 606 0_ |a 数理逻辑 |x 研究生 |j 教材

• 606 0_ |2 CT |3 S069121 |a 数理逻辑

• 690 __ |a O141 |v 4

• 701 _0 |a 陆钟万 |9 Lu Zhong Wan |4 著

• 801 _0 |a CN |b |c 20070601

• 905 __ |a DQNU |d O141/L89

• 991 __

• 995 __ |a ST |f O141/L89 |s 5

• 999 __ |t C |A qiandl |a 20070601 09:42:52 |M qiandl |m 20070601 09:43:35 |G qiandl |g 20070601 09:44:0