机读格式显示(MARC)

• 000 00472nam2 2200193 4500

• 001 0000110139

• 010 __ |a 7-03-009657-6 |d ￥19.00

• 101 0_ |a chi

• 200 1_ |a 面向计算机科学的数理逻辑 |f 陆钟万著 |g |A MXJSJKXD |F LZW

• 205 __ |a

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

• 215 __ |a 263页 |c |d 21cm

• 225 2_ |a 中国科学院研究生教学丛书f白春礼主编 |f

• 320 __ |a

• 690 __ |a O141 |v 4

• 701 _0 |a 陆钟万著 |A LZW |4 著

• 801 _0 |a CN |b HIEL

• 905 __ |a HIEL |d O141/781.2*1

• 999 __ |b 5