机读格式显示(MARC)

• 000 01210nam2 2200373 4500

• -01 __gzk5400574

• -09 __zyk0100313

• -98 __bm5

• -99 __tsg

• 001 0000100308

• 005 20050302140517.07

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

• 100 0_ |a 20050302d2002 km y0chiy0120 ea

• 101 1_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a 000yy

• 106 2_ |a r

• 200 1_ |a 面向计算机科学的数理逻辑 |A mian xiang ji suan ji ke xue de shu li luo ji |f 陆钟万著 |F lu zhong wan zhu

• 205 __ |a 第2版

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

• 215 _0 |a 263页 |d 21cm

• 225 __ |a 中国科学院研究生教学丛书 |f 师昌绪主编 |i 技术学科

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

• 320 __ |a 有书目。

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

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

• 410 __ |1 2001 |1 701 0 |4 主编 |a 师昌绪 |a 技术学科 |A shi chang xu

• 461 _1 |1 2001 |a 中国科学院研究生教学丛书 |f 师昌绪主编 |i 技术学科

• 606 __ |a 数理逻辑

• 690 __ |a O141 |v 4

• 701 __ |4 著 |a 陆钟万 |A lu zhong wan

• 801 __ |a CN |b ATTC |c 20050411

• 905 __ |a ASTU |d O141/8

• 915 __ |d O141 |e 8 |b 306895-9