MARC状态：审校 文献类型：西文图书 浏览次数：2
- 题名/责任者:
- Enumerability, decidability, computability : an introduction to the theory of recursive functions. / Hans Hermes ; translated by G.T. Herman and O. Plassmann.
- 出版发行项:
- Berlin : Springer, 1965.
- 载体形态项:
- ix, 245 p. ; 22 cm.
- 个人责任者:
- Hermes, Hans.
- 附加个人名称:
- Herman, G. T.
- 附加个人名称:
- Plassmann, O.
- 论题主题:
- Recursive functions.
- 中图法分类号:
- O141
- 书目附注:
- Includes bibliographical references and index.
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| O141/H553 | 010066498 |  外文书库
|
可借 | 外文书库 | |
| O141/H553 | 010073471 | 外文书库
|
可借 | 外文书库 |
显示全部馆藏信息