分面检索

资源类型

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

图书馆

1. 武汉理工大学图书馆 (35)
2. 理学院 (2)
3. 法学与人文社会学院分馆 (2)
4. 显示更多..

馆藏地点

1. 南湖外文图书借阅区 (11)
2. 西院西文图书保存本库 (11)
3. 余区图书保存本库 (8)
4. 南湖图书借阅区 (6)
5. 余区外文图书借阅区 (5)
6. 余区中文图书借阅区 (2)
7. 西院博硕论文库 (2)
8. 法学与人文社会学分馆(东院) (2)
9. 理学院资料室(南湖) (2)
10. 东院中文图书借阅区 (1)
11. 东院外文过刊库 (1)
12. 西院中文图书借阅区 (1)
13. 西院三线书库 (1)
14. 显示更多..

主题

1. logic, symbolic and mathematical (6)
2. 研究 (6)
3. logic (4)
4. knowledge, theory of (2)
5. logic programming (2)
6. model theory (2)
7. physics (2)
8. set theory (2)
9. technology (2)
10. 中国 (2)
11. 美国 (2)
12. 高等学校 (2)
13. 高等教育 (2)
14. academic career (1)
15. administrative procedure (1)
16. argentina (1)
17. axioms (1)
18. brazil (1)
19. computable functions (1)
20. computer logic (1)
21. 显示更多..

著者

1. association for symbolic logic, (2)
2. church, alonzo, (2)
3. (德) 黑格尔著 (1)
4. (瑞典) 博·罗思坦著 (1)
5. (美) 托马斯·h. 杰克逊著 (1)
6. (英) 比尔·希利尔, 朱利安妮·汉森著 (1)
7. association for symbolic logic (1)
8. baaz, matthias (1)
9. bo rothstein (1)
10. boehm, hans-juergen (1)
11. calvert, wesley crain (1)
12. casanovas, enrique, (1)
13. courcelle, b (1)
14. cresswell, m. j., (1)
15. engelfriet, joost (1)
16. european association for computer science logic (1)
17. federated logic conference (1)
18. fenstad, jens erik (1)
19. gandy, r. o (1)
20. gibbins, peter (1)
21. 显示更多..

出版日期

1. 2023 (3)
2. 2007 (2)
3. 2005 (1)
4. 2017 (1)
5. 2019 (1)
6. 显示更多..

文献类型

1. 图书（纸本） (34)
2. 学位论文 (2)
3. 期刊（纸本） (1)
4. 显示更多..

语言种类

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

在馆

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