MARC状态：已编 文献类型：中文图书 浏览次数：4
- 题名/责任者:
- 面向计算机科学的数理逻辑/陆钟万著
- 版本说明:
- 2版
- 出版发行项:
- 北京:科学出版社,2002
- ISBN及定价:
- 7-03-009657-6/CNY19.00
- 载体形态项:
- 13,263页;21cm
- 丛编项:
- 中国科学院研究生教学丛书
- 个人责任者:
- 陆钟万 著
- 学科主题:
- 数理逻辑-研究生-教材
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O141
- 一般附注:
- 普通高等教育“九五”国家级重点教材
- 提要文摘附注:
- 本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| O141/L89 | 00351864 |  语言、自然科学阅览室
|
可借 | |
| O141/L89 | 00351865 | 语言、自然科学阅览室
|
可借 | |
| O141/L89 | 00351866 | 语言、自然科学阅览室
|
可借 | |
| O141/L89 | 00351867 | 语言、自然科学阅览室
|
可借 | |
| O141/L89 | 00351863 | 样本书阅览室
|
可借 |
显示全部馆藏信息