机读格式显示(MARC)
- 100 __ |a 20000321d1984 em y0chiy0121 ea
- 200 1_ |a 可计算性与不可解性 |A ke ji suan xing yu bu ke jie xing |f (美)戴维斯(M.Davis)著 |g 沈泓译
- 210 __ |a 北京 |c 北京大学出版社 |d 1984
- 300 __ |a 书名原文:Computability and unsolvability
- 510 1_ |a Computability and unsolvability |z eng
- 701 _1 |a 戴维斯 |A dai wei si |b M. |4 著
- 701 A1 |a Davis |b M. |4 著
- 702 _0 |a 沈泓 |A shen hong |4 译
- 801 _2 |a CN |b Wuxilib |c 20050428
- 905 __ |a Wuxilib |d O141/15