机读格式显示(MARC)

• 000 00883nam2 2200289 45

• 001 0000044633

• 005 20051012131900.0

• 010 __ |a 7-5308-0384-0 |d $3.10

• 100 __ |a 20000313d1989 ekmy0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 120000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 可计算性理论 |A KE JI SUAN XING LI LUN |f 张宏裕编著 |F ZHANG HONG YU BIAN ZHU

• 210 __ |a 天津 |c 天津科学技术出版社 |d 1989.5

• 215 __ |a 218页 |d 20厘米

• 225 2_ |a 信息与逻辑丛书

• 330 __ |a 本书内容有:理想计算机、原始递归函数、一般递归函数理想机和等式系的计算化等。

• 410 _0 |1 20010 |a 信息与逻辑丛书

• 540 1_ |a 可计算性 理论 |A KE JI SUAN XING LI LUN

• 606 __ |a 可计算性 |x 基础理论

• 690 __ |a TP301 |v 4

• 690 __ |a TP301 |v 3

• 701 _0 |a 张宏裕 |A ZHANG HONG YU |4 编著

• 801 _0 |a CN |b NLC |c 19921208

• 801 _2 |a CN |b Wuxilib |c 20051012

• 905 __ |a Wuxilib |d TP301/12