已经限定的分面

图书馆:

1. 青岛科技大学图书馆 x

馆藏地点:

1. 高密样本书库 x

主题:

1. 数理逻辑 x

在馆 :

1. 在馆 x

图书馆

1. [青岛科技大学图书馆]
2. 青岛科技大学图书馆
3. 显示更多..

馆藏地点

1. [高密样本书库] (13)
2. 高密综合书库 (12)
3. 崂山图书阅览室 (10)
4. 四方学生参考室 (10)
5. 崂山综合书库 (9)
6. 四方科技书库 (6)
7. 高密密集书库（大数据） (4)
8. 显示更多..

主题

1. [数理逻辑] (13)
2. 研究 (2)
3. 人工智能 (1)
4. 信息学 (1)
5. 可计算性 (1)
6. 数学理论 (1)
7. 电子计算机 (1)
8. 逻辑 (1)
9. 高等教育 (1)
10. 显示更多..

著者

1. 何华灿 (2)
2. 郭开仲 (2)
3. 郭开仲著 (2)
4. (美)g.波利亚著 (1)
5. (美)george s.boolos，(美)john p.burgess，(美)richard c.jeffrey著 (1)
6. (美)herbert b.enderton著 (1)
7. (英) john n. crossley等著 (1)
8. enderton, (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. 2008 (3)
2. 2010 (3)
3. 2004 (1)
4. 2005 (1)
5. 2007 (1)
6. 2011 (1)
7. 2012 (1)
8. 2016 (1)
9. 2018 (1)
10. 显示更多..

文献类型

1. 图书 (13)
2. 显示更多..

语言种类

1. 汉语 (13)
2. 英语 (1)
3. 显示更多..

在馆

1. [ 在馆 ] (13)
2. 显示更多..