机读格式显示(MARC)
- 000 00813nam0 2200289 450
- 091 __ |a CN |b 13031.2717
- 100 __ |a 19990818d1984 em y0chiy0121 ea
- 200 0_ |a 元数学导论 |A yuan shu xue dao lun |h 上册 |f (美)克林(S.C.Kleene)著;莫绍揆译
- 210 __ |a 北京 |c 科学出版社 |d 1984
- 225 0_ |a 数学名著译丛 |A Shu Xue Ming Zhu Yi Cong
- 606 0_ |a 证明论 |A Zheng Ming Lun
- 701 _0 |a kleene |A Kleene |b S.C. |4 著
- 701 _0 |a 克林 |A ke lin |b S.C. |4 著
- 702 _0 |a 莫绍揆 |A mo shao kui |4 译
- 801 _0 |a CN |b DATATRANS |c 19990818
- 905 __ |a WXCSXY |d O141/5:1