机读格式显示(MARC)

• 000 00748nam0 2200265 450

• 001 0000304112

• 005 20180105194900.0

• 010 __ |d CNY0.00

• 099 __ |a CAL 012003089684

• 100 __ |a 20030521d1982 em y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 610000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 符号逻辑和定理的机中证明 |A Fu Hao Luo Ji He Ding Li De Ji Zhong Zheng Ming |h 第三分册 |f C.L.Chang等著 |g 李荣译

• 210 __ |a 西安 |c 陕西省人工智能学会筹备组 |d 1982

• 215 __ |a 216页 |d 21cm

• 606 0_ |a 数理逻辑 |A shu li luo ji

• 690 __ |a O141 |v 4

• 701 _1 |a Chang C. L、4著 |A Chang C. L、4 Zhu

• 702 _0 |a 李荣 |A Li Rong |4 译

• 801 _0 |a CN |b HST |c 20030521

• 905 __ |a XATU |d O141/27-3

• 920 __ |a 261060 |z 1

• 998 __ |a HST