MARC状态：审校 文献类型：中文图书 浏览次数：9
- 题名/责任者:
- 面向计算机科学的数理逻辑/陆钟万著
- 版本说明:
- 2版
- 出版发行项:
- 北京:科学出版社,2002
- ISBN及定价:
- 7-03-009657-6/CNY19.00
- 载体形态项:
- 13,263页;21cm
- 丛编项:
- 中国科学院研究生教学丛书
- 个人责任者:
- 陆钟万 (1924~) 著
- 学科主题:
- 数理逻辑-研究生-教材
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O141
- 一般附注:
- 普通高等教育“九五”国家级重点教材
- 提要文摘附注:
- 本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 附件 | 说明 | 书刊状态 | 还书位置 |
| O141/21 | 000405682 | 密集书库 M00045990 图书定位 | 可借 | 密集书库 | |||
| O141/21 | 000400956 | 2002 | 密集书库 M00045498 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000408378 | 2002 | 密集书库 M00212580 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000412790 | 2002 | 密集书库 M00210101 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000413631 | 2002 | 密集书库 M00211160 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000414214 | 2002 | 密集书库 M00213235 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000415491 | 2002 | 密集书库 M00028443 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000415500 | 2002 | 密集书库 M00028444 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000418297 | 2002 | 密集书库 M00216802 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000420686 | 2002 | 密集书库 M00219380 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000427212 | 2002 | 密集书库 M00218372 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000428111 | 2002 | 密集书库 M00217272 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000431615 | 2002 | 密集书库 M00046002 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000434172 | 2002 | 密集书库 M00216858 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000434295 | 2002 | 密集书库 M00219940 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000434336 | 2002 | 密集书库 M00219943 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000434496 | 2002 | 密集书库 M00219946 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000437019 | 2002 | 密集书库 M00045915 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000450056 | 2002 | 密集书库 M00212550 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000451804 | 2002 | 密集书库 M00219374 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000453624 | 2002 | 密集书库 M00046072 图书定位 | 可借 | 密集书库 | ||
| O141/21 | 000457518 | 2002 | 密集书库 M00216899 图书定位 | 可借 | 密集书库 |
显示全部馆藏信息