机读格式显示(MARC)

• 000 00915nam2 2200265 450

• 001 0000683176

• 005 20220919221400.0

• 010 __ |a 7-03-006065-2 |d CNY17.50

• 100 __ |a 20021005d1998 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 面向计算机科学的数理逻辑 |A Mian Xiang Ji Suan Ji Ke Xue Di Shuo Li Luo Ji |9 mian xiang ji suan ji ke xue de shu li luo ji |b 专著 |f 陆钟万著

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

• 215 __ |a 14,258页 |d 20cm

• 225 2_ |a 中国科学院研究生教学丛书 |A Zhong Guo Ke Xue Yuan Yan Jiu Sheng Jiao Xue Cong Shu

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

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

• 606 0_ |a 数理逻辑 |A Shuo Li Luo Ji |x 研究生 |x 教材

• 690 __ |a O141 |v 3

• 692 __ |a 51.31 |v 2

• 701 _0 |a 陆钟万 |A Lu Zhong Wan |f (1924~) |9 lu zhong wan |4 著

• 801 _0 |a CN |b NLC |c 19980728

• 905 __ |a SYXY |d O141/47