已经限定的分面

图书馆:

1. 辽宁省图书馆 x

馆藏地点:

图书馆

1. 喀左分馆
2. 阜新县分馆
3. 兴城分馆
4. 北镇分馆
5. [辽宁省图书馆]
6. 和平分馆
7. 本溪县分馆
8. 朝阳分馆
9. 桓仁分馆
10. 开原分馆
11. 抚顺县分馆
12. 北票分馆
13. 鲅鱼圈分馆
14. 灯塔分馆
15. 大洼分馆
16. 政协分馆
17. 盘锦大洼分馆（暂时不用）
18. 建昌分馆
19. 中心馆
20. 宽甸县分馆
21. 大连瓦房店分馆
22. 本溪分馆
23. 凤城分馆
24. 丹东分馆
25. 显示更多..

馆藏地点

1. 新馆外文 (39)
2. 民国西文 (20)
3. 保存 (9)
4. 新馆社科 (3)
5. 新馆自科 (1)
6. 24小时自助 (1)
7. 显示更多..

主题

1. logic, symbolic and mathematical (21)
2. mathematics (10)
3. computer science (4)
4. probabilities (3)
5. 研究 (3)
6. mathematics / logic (2)
7. model theory (2)
8. proof theory (2)
9. quantum theory (2)
10. arithmetic (1)
11. arithmetique (1)
12. calculus (1)
13. computable functions (1)
14. computer arithmetic (1)
15. computer arithmetic and logic units (1)
16. computer programming (1)
17. constructive mathematics (1)
18. descriptive set theory (1)
19. dialetheism (1)
20. floating-point arithmetic (1)
21. 显示更多..

著者

1. goodstein, r. l., (3)
2. tarski, alfred, (3)
3. curry, haskell b., (2)
4. ebbinghaus, heinz-dieter, (2)
5. heyting, a., (2)
6. thomas, wolfgang, (2)
7. wang, guojun (2)
8. zhou, hongjun (2)
9. (法)马 克(marek,w.),(法)奥尼茨凯维奇(onyszkiewicz,j.)著 (1)
10. (美)诺桑·s. 亚诺夫斯基(noson s. yanofsky)著 (1)
11. (英)约翰逊(d.a.johnson),(美)泰勒(d.f.taylor)著 (1)
12. ackermann, w (1)
13. ackermann, w., (1)
14. bar-hillel, yehoshua (1)
15. barwise, j., (1)
16. barwise, jon., (1)
17. bell, j. l (1)
18. beltrametti, enrico g (1)
19. boccuni, francesca, (1)
20. boiten, eerke, (1)
21. 显示更多..

出版日期

1. 1984 (1)
2. 1990 (1)
3. 2006 (1)
4. 2008 (1)
5. 2009 (1)
6. 2018 (1)
7. 2020 (1)
8. 2022 (1)
9. 2023 (1)
10. 2024 (1)
11. 显示更多..

文献类型

1. 图书 (47)
2. 西文图书 (20)
3. 日文 (1)
4. 显示更多..

语言种类

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

在馆

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