分面检索

分馆

1. 永安图书馆 (11)
2. 显示更多..

主题

1. 数理逻辑 (5)
2. 基本知识 (2)
3. 布尔代数 (2)
4. 可计算性 (1)
5. 基础理论 (1)
6. 应用 (1)
7. 教材 (1)
8. 极限理论 (1)
9. 理论 (1)
10. 电子计算机 (1)
11. 算法理论 (1)
12. 证明论 (1)
13. 显示更多..

著者

1. 莫绍揆 (11)
2. 莫绍揆著 (4)
3. 克林 (2)
4. 莫绍揆编著 (2)
5. 莫绍揆译 (2)
6. (美)克 林(kleene,s.c.)著 (1)
7. (美)克林(s.c.kleene)著 (1)
8. kleene (1)
9. 汪灵华 (1)
10. 王元元 (1)
11. 莫绍揆, 汪灵华编著 (1)
12. 莫绍揆, 王元元著 (1)
13. 莫绍揆等著 (1)
14. 显示更多..

出版日期

1. 1980 (2)
2. 1982 (2)
3. 1984 (2)
4. 1983 (1)
5. 1985 (1)
6. 1987 (1)
7. 1989 (1)
8. 1992 (1)
9. 显示更多..

文献类型

1. 中文图书 (11)
2. 显示更多..

语言种类

1. 汉语 (11)
2. 显示更多..