机读格式显示(MARC)

• 000 00952cam0 2200313 450

• 000 0000137861

• 001 0000110225

• 005 20051226111357.0

• 010 __ |a 7-03-001067-1 |d CNY9.60

• 020 __ |a CN |b 89015298

• 100 __ |a 20021010d1989 km y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 计算机科学中的逻辑学 |A ji suan ji ke xue zhong de luo ji xue |f 王元元编著

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

• 215 __ |a xi, 441页 |c 图 |d 20cm

• 320 __ |a 有书目 (第439-441页)

• 606 0_ |a 电子计算机 |A dian zi ji suan ji |x 数理逻辑 |x 应用

• 606 0_ |a 数理逻辑 |A shu li luo ji |x 应用 |x 电子计算机

• 690 __ |a TP301 |v 4

• 701 _0 |a 王元元 |A wang yuan yuan |4 编著

• 801 _2 |a CN |b CAU |c 20051226

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

• 901 __012005016655

• 905 __ |a CAU |d TP301/29

• 907 __ |a CAU |f TP301/29

• 999 __ |t E |A clz |a 20051125 08:55:00 |G zjy |g 20021010 09:52:59 |I wyf |i 20051226 11:14:0