名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 莫绍揆 , 检索到: 13 条结果, 检索时间: 0.027 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图


保存至书单:
1.
递归论 已借19次.
著者: 莫绍揆
出版社: 科学出版社   出版日期: 1987.11
文献类型: 图书 , 索书号: O141.3/2
2.
数理逻辑:计算机专业适用 已借46次.
著者: 莫绍揆
出版社: 高等教育出版社   出版日期: 1984.7
文献类型: 图书 , 索书号: 51.3/MSK/2
3.
数理逻辑
著者: 莫绍揆
出版社: 高等教育出版社   出版日期: 1984
文献类型: 图书 , 索书号: 51.3/MSK2
4.
数理逻辑教程 已借16次.
著者: 莫绍揆
出版社: 华中工学院出版社   出版日期: 1982
文献类型: 图书 , 索书号: O141/20
5.
算法论 已借10次.
著者: 莫绍揆
出版社: 科学出版社   出版日期: 1982
文献类型: 图书 , 索书号: 51.35/MSK
6.
数理逻辑初步 已借1次.
著者: 莫绍揆
出版社: 上海人民出版社   出版日期: 1980
文献类型: 图书 , 索书号: O141/1
7.
数学逻辑初步 已借9次.
著者: 莫绍揆
出版社: 上海人民出版社   出版日期: 1980
文献类型: 图书 , 索书号: 51.31/MSKs
8.
逻辑代数初步
著者: 莫绍揆
出版社: 江苏人民出版社   出版日期: 1980
文献类型: 图书 , 索书号: O133.2/3
9.
元数学导论.2 已借4次.
著者: 克林
出版社: 科学出版社   出版日期: 1985.9
文献类型: 图书 , 索书号: 51.32/KL/2
10.
元数学导论.1 已借22次.
著者: 克林
出版社: 科学出版社   出版日期: 1984.11
文献类型: 图书 , 索书号: 51.32/KL