MARC状态：已编 文献类型：西文图书 浏览次数：88
- 题名/责任者:
- Computability and logic = 可计算性与数理逻辑 / George S. Boolos, John P. Burgess, Richard C. Jeffrey著.
- 版本说明:
- 4th ed.
- 出版发行项:
- Beijing : Pub. House of Electronic Industry, 2003.
- ISBN:
- 7505388282
- 载体形态项:
- 9, 356 p. : ill. ; 24 cm.
- 变异题名:
- 可计算性与数理逻辑
- 丛编题名:
- 国外计算机科学教材系列
- 个人责任者:
- Boolos, George.
- 附加个人名称:
- Burgess, John P., 1948-
- 附加个人名称:
- Jeffrey, Richard C.
- 论题主题:
- Computable functions.
- 论题主题:
- Recursive functions.
- 中图法分类号:
- O141
- 书目附注:
- Includes bibliographical references (p. 348) and index.
- 原版附注:
- Reprint. Originally published: Cambridge : Cambridge University Press, c2002. 4th ed. 0521809754, 0521007585 (pbk.)
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 定位 | |
| O141/B724-4 | 6037263 |  密集书库一
密一77A11 |
可借 | 定位 | ||
| O141/B724-4 | 6037206 | 11楼北语言学外语借阅室
|
可借 | 定位 | ||
| O141/B724-4 | 6037207 | 11楼北语言学外语借阅室
|
可借 | 定位 | ||
| O141/B724-4 | 6037208 | 11楼北语言学外语借阅室
|
可借 | 定位 | ||
| O141/B724-4 | 6037209 | 11楼北语言学外语借阅室
|
可借 | 定位 | ||
| O141/B724-4 | 6037210 | 11楼北语言学外语借阅室
|
可借 | 定位 | ||
| O141/B724-4 | 6037262 | 12楼南外文图书阅览室
|
保留本 | 定位 |
显示全部馆藏信息