分面检索

资源类型

1. 纸质资源 (6)
2. 显示更多..

图书馆

1. 武汉理工大学图书馆 (6)
2. 显示更多..

馆藏地点

1. 南湖图书借阅区 (3)
2. 余区中文图书借阅区 (3)
3. 余区图书保存本库 (2)
4. 南湖保存本图书借阅区 (1)
5. 西院中文图书借阅区 (1)
6. 西院西文图书保存本库 (1)
7. 显示更多..

主题

1. 形式逻辑 (3)
2. 高等学校 (3)
3. 逻辑学 (2)
4. recursion theory (1)
5. 教学研究 (1)
6. 教材 (1)
7. 显示更多..

著者

1. (英) 康斯坦斯·琼斯著 (1)
2. constance jones (1)
3. fenstad, jens erik (1)
4. gandy, r. o (1)
5. sacks, gerald e (1)
6. symposium on generalized recursion theory, (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. 2013 (2)
2. 2002 (1)
3. 2022 (1)
4. 2024 (1)
5. 显示更多..

文献类型

1. 图书（纸本） (6)
2. 显示更多..

语言种类

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

在馆

1. 在馆 (6)
2. 显示更多..