机读格式显示(MARC)
- 000 00883cam0 2200289 450
- 091 __ |a 13031·750 |d CNY1.10
- 099 __ |a CAL 012000700125
- 100 __ |a 20071122d1958 ekmy0chiy50 ea
- 200 1_ |a 数理逻辑基础 |A shu li luo ji ji chu |f 希尔柏脱(Hilbert,D.), 阿克曼(Ackermann,W.)著 |g 莫绍揆译
- 210 __ |a 北京 |c 科学出版社 |d 1958
- 606 0_ |a 数理逻辑 |A shu li luo ji |x 基础理论
- 701 _1 |a 阿克曼 |A a ke man |g (Ackermann, Wilhelm), |f 1896- |4 著
- 701 _1 |a 希耳伯特 |A xi er bo te |g (Hilbert, David), |f 1862-1943 |4 著
- 702 _0 |a 莫绍揆, |A mo shao kui |f 1917- |4 译
- 801 _0 |a CN |b CAU |c 20071122
- 905 __ |a CAU |d 310.1/4147