机读格式显示(MARC)

• 000 00693nam2 2200265 4500

• 000 0000004078

• 001 0000003854

• 005 20000531204700.0

• 010 __ |a |b 平装 |d 1.15元

• 100 __ |a 19990607d1983 akmy0chiy1021 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑与机器证明 |f 陆钟万著

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

• 215 __ |a 186页 |d 20cm

• 225 2_ |a 计算机科学丛书

• 690 __ |a O141 |v 三版

• 700 _0 |a 陆钟万 |4 著

• 801 _0 |a CN |b XITC |c 19970901

• 905 __ |a XATU |d O141/10

• 991 __011999003979

• 995 __ |a 261060 |b 100946-50 |d O141 |e 10 |f O141/10

• 999 __ |Z acqcatachi |z 19990707150447 |G yyll |g 2000053120470