分面检索

资源类型

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

图书馆

1. 武汉理工大学图书馆 (24)
2. 机电工程学院 (1)
3. 理学院 (2)
4. 汽车工程学院 (1)
5. 信息工程学院 (1)
6. 显示更多..

馆藏地点

1. 南湖保存本图书借阅区 (9)
2. 余区图书保存本库 (9)
3. 西院中文图书借阅区 (9)
4. 南湖图书借阅区 (7)
5. 东院中文图书借阅区 (6)
6. 余区中文图书借阅区 (5)
7. 南湖外文图书借阅区 (3)
8. 西院西文图书保存本库 (3)
9. 理学院资料室(南湖) (2)
10. 余区外文图书借阅区 (1)
11. 西院三线书库 (1)
12. 机电工程学院资料室(东院) (1)
13. 汽车工程学院资料室(东院) (1)
14. 信息工程学院资料室(鉴湖) (1)
15. 显示更多..

主题

1. 高等学校 (10)
2. logic, symbolic and mathematical (6)
3. 形式逻辑 (4)
4. 逻辑学 (4)
5. 数字逻辑 (3)
6. 法律逻辑学 (3)
7. fuzzy logic (1)
8. set theory (1)
9. 商业经营 (1)
10. 基本知识 (1)
11. 数理逻辑 (1)
12. 模态逻辑 (1)
13. 翻译 (1)
14. 艺术 (1)
15. 英语 (1)
16. 设计 (1)
17. 课程设计 (1)
18. 显示更多..

著者

1. 主编张大松, 蒋新苗 (3)
2. 张大松 (3)
3. 蒋新苗 (3)
4. bell, j. l (2)
5. 何向东主编 (2)
6. 张绵厘 (2)
7. 张绵厘编著 (2)
8. 李小五, (2)
9. 李小五编著 (2)
10. 陈光梦, (2)
11. barros, laecio carvalho de (1)
12. bassanezi, rodney carlos, (1)
13. international summer institute and logic colloquium (1)
14. koblitz, neal, (1)
15. lodwick, weldon a., (1)
16. machover, mosheh, (1)
17. mahover, mosheh, (1)
18. manin, iu. i (1)
19. manin, iu. i., (1)
20. manin,yuri i., (1)
21. 显示更多..

出版日期

1. 2004 (3)
2. 2005 (2)
3. 2013 (2)
4. 2014 (2)
5. 2022 (2)
6. 1999 (1)
7. 2007 (1)
8. 2009 (1)
9. 2010 (1)
10. 2015 (1)
11. 2018 (1)
12. 2020 (1)
13. 2023 (1)
14. 显示更多..

文献类型

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

语言种类

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

在馆

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