MARC状态：审校 文献类型：中文图书 浏览次数：2
- 题名/责任者:
- 面向计算机科学的数理逻辑/陆钟万著
- 出版发行项:
- 北京:北京大学出版社,1989
- ISBN及定价:
- 7-301-00828-7/CNY3.30
- 载体形态项:
- 2,240页:图;20cm
- 个人责任者:
- 陆钟万 著
- 学科主题:
- 计算机科学-数理逻辑
- 中图法分类号:
- O141
- 书目附注:
- 有书目与索引
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| O141/L995 | 004131256 |  密集书库
|
可借 | 密集书库 | |
| O141/L995 | 004131469 | 密集书库
|
可借 | 密集书库 |
显示全部馆藏信息