名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 陆钟万著 , 检索到: 6 条结果, 检索时间: 0.023 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图
分类导航



保存至书单:
1.
出版社: 科学出版社   出版日期: 2002.1
文献类型: 图书 , 索书号:
2.
面局计算机科学的数理逻辑 已借52次.
著者: 陆钟万
出版社: 北京大学出版社   出版日期: 1989
文献类型: 图书 , 索书号: 51.8/LZW
3.
数理逻辑与机器证明 已借14次.
著者: 陆钟万
出版社: 科学出版社   出版日期: 1983
文献类型: 图书 , 索书号: 51.3/LZW
4.
数理逻辑基础.下册 已借9次.
出版社: 科学出版社   出版日期: 2015
文献类型: 图书 , 索书号: O141/2(yy)-2
5.
数理逻辑基础 已借2次.
出版社: 科学出版社   出版日期: 2015
文献类型: 图书 , 索书号: O141/2(yy)-1
6.
面向计算机科学的数理逻辑 已借54次.
著者: 陆钟万
出版社: 科学出版社   出版日期: 2002.1
文献类型: 图书 , 索书号: O141/11(2)