机读格式显示(MARC)
- 000 00885nam 22200289 4450
- 010 __ |a 7-5308-0384-0 |d $3.10
- 100 __ |a 19960708d1989 ekmy0chiy0121 ea
- 200 10 |a 可计算性理论 |f 张宏裕编著 |F ZHANG HONG YU BIAN ZHU |A KE JI SUAN XING LI LUN
- 210 __ |a 天津 |b 天津 |c 天津科学技术出版社 |d 1989.5
- 330 __ |a 本书内容有:理想计算机、原始递归函数、一般递归函数理想机和等式系的计算化等。
- 410 _0 |1 20010 |a 信息与逻辑丛书
- 540 1_ |a 可计算性 理论 |A KE JI SUAN XING LI LUN
- 801 _0 |a CN |b Library |c 19960708 |U UnKnown
- 801 _2 |a CN |b Library |c 20010711 |U MARC