分面检索

分馆

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

主题

1. 数理逻辑 (36)
2. 概论 (4)
3. 集论 (3)
4. 中学 (2)
5. 基本知识 (2)
6. 习题 (1)
7. 基础理论 (1)
8. 应用 (1)
9. 形式逻辑 (1)
10. 推理-数理逻辑 (1)
11. 教学参考资料 (1)
12. 教材 (1)
13. 数学基础 (1)
14. 数理逻辑-应用-电子计算机 (1)
15. 数理逻辑-推理 (1)
16. 普及读物 (1)
17. 机器证明 (1)
18. 比较研究 (1)
19. 理论 (1)
20. 电子计算机-数理逻辑-应用 (1)
21. 显示更多..

著者

1. 莫绍揆 (5)
2. 陆钟万 (4)
3. 胡世华 (3)
4. 莫绍揆著 (3)
5. 汪芳庭 (2)
6. 汪芳庭编著 (2)
7. 王浩 (2)
8. 王浩著 (2)
9. 胡世华, 陆钟万著 (2)
10. (日)早川康 著 (1)
11. (法)马 克(marek,w.), (法)奥尼茨凯维奇(onyszkiewicz,j.)著 (1)
12. (波)安德热依·莫斯托夫斯基(a.mostowski)著 (1)
13. (美)克 林(kleene,s.c.)著 (1)
14. (美)塔尔斯基(a.tarski)著 (1)
15. (美)约翰·阿伦·保罗斯(john allen paulos)著 (1)
16. (美)苏佩斯(p.suppes)著 (1)
17. (英)a.g.哈密尔顿著 (1)
18. (英)约翰逊(d.a.johnson),(美)泰勒(d.f.taylor)著 (1)
19. johnson (1)
20. mostowski (1)
21. 显示更多..

出版日期

1. 1982 (6)
2. 1984 (6)
3. 1989 (5)
4. 1987 (4)
5. 1990 (4)
6. 1981 (3)
7. 1985 (3)
8. 1983 (2)
9. 1963 (1)
10. 1980 (1)
11. 1986 (1)
12. 1988 (1)
13. 2001 (1)
14. 显示更多..

文献类型

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

语言种类

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