机读格式显示(MARC)
- 010 __ |a 7-5308-0384-0 |d CNY3.10
- 099 __ |a CAL 012000118007 |a CAL 012000700136
- 100 __ |a 19970703d1989 ekmy0chiy50 ea
- 200 1_ |a 可计算性理论 |A ke ji suan xing li lun |f 张宏裕编著
- 210 __ |a 天津 |c 天津科学技术出版社 |d 1989
- 225 2_ |a 信息与逻辑丛书 |A xin xi yu luo ji cong shu
- 330 __ |a 本书内容有:理想计算机、原始递归函数、一般递归函数理想机和等式系的计算化等。
- 410 _0 |1 2001 |a 信息与逻辑丛书
- 606 0_ |a 可计算性 |A ke ji suan xing |x 基础理论
- 701 _0 |a 张宏裕, |A zhang hong yu |f 1934- |4 编著
- 801 _2 |a CN |b NLC |c 19921208
- 905 __ |a SCNU |f O141.3/1233