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