MARC状态：审校 文献类型：中文图书 浏览次数：10
- 题名/责任者:
- 面向计算机科学的数理逻辑/陆钟万著
- 出版发行项:
- 北京:科学出版社,1998
- ISBN及定价:
- 7-03-006065-2/CNY17.50
- 载体形态项:
- 14,258页;20cm
- 丛编项:
- 中国科学院研究生教学丛书
- 个人责任者:
- 陆钟万 (1924~) 著
- 学科主题:
- 数理逻辑-研究生-教材
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O141
- 中图法分类号:
- O141
- 一般附注:
- 普通高等教育“九五”国家级重点教材
全部MARC细节信息>>