机读格式显示(MARC)

• 000 00959oam2 2200277 450

• 001 0000625702

• 005 20191205160800.0

• 010 __ |a 978-7-03-009657-9 |d CNY29.00

• 100 __ |a 20170912e20172002em y0chiy50 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 |b 专著 |f 陆钟万著

• 205 __ |a 2版

• 210 __ |a 北京 |c 科学出版社 |d 2002 |h 2017重印

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

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

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

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

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

• 606 __ |a 数理逻辑 |9 Shu Li Luo Ji |x 高等教育 |j 教材

• 690 __ |a O141 |v 5

• 701 _0 |a 陆钟万 |9 lu zhong wan |4 著

• 801 _0 |a CN |b 浙江省新华书店集团公司 |c 20170912

• 905 __ |a ZPHC |d O141/21