机读格式显示(MARC)

• 000 00545nam2 2200229 4500

• -01 __gzk1008518

• -09 __zyk0067757

• -98 __bm1

• -99 __tsg

• 001 0000067754

• 010 __ |a 7-03-001067-1 |d RMB28.00

• 100 __ |a 20020128j1999 ekmf0chiy01011212eb

• 101 __ |a chi

• 200 __ |a 计算机科学中的现代逻辑学 |f 王元元编著

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

• 215 __ |a 266页 |d 26CM

• 606 __

• 690 __ |a TP301.6

• 701 __ |4 编著 |a 王元元

• 801 __ |a CN |b ATTCL |c 20020128

• 905 __ |a ASTU |d TP301.6/5

• 915 __ |b 213959 |e 5 |d TP301.6