已经限定的分面

馆藏地点:

文献类型:

1. 图书 x

图书馆

1. 辽宁省图书馆 (56)
2. 显示更多..

馆藏地点

1. 显示更多..

主题

1. logic, symbolic and mathematical (17)
2. mathematics (11)
3. mathematical models (7)
4. set theory (7)
5. study and teaching (5)
6. model theory (4)
7. computable functions (3)
8. machine theory (3)
9. calculus (2)
10. proof theory (2)
11. stability (2)
12. algebra, boolean (1)
13. algebraic logic (1)
14. arithmetic (1)
15. automatic theorem proving (1)
16. big data (1)
17. common core state standards (education) (1)
18. computational complexity (1)
19. constructive mathematics (1)
20. content area reading (1)
21. 显示更多..

著者

1. ebbinghaus, heinz-dieter, (2)
2. meerschaert, mark m., (2)
3. thomas, wolfgang, (2)
4. akama, seiki, (1)
5. alcock, lara (1)
6. arai, t (1)
7. asian logic conference (1)
8. avula, xavier j. r., (1)
9. baldwin, john t., (1)
10. ball, johnny, (1)
11. barwise, jon., (1)
12. bauldry, william c., (1)
13. bell, j. l (1)
14. benci, v (1)
15. bittinger, marvin l (1)
16. boolos, george (1)
17. bossé, loi, (1)
18. boyer, robert s (1)
19. buechler, steven, (1)
20. burgess, john p., (1)
21. 显示更多..

出版日期

1. 1991 (1)
2. 2014 (1)
3. 显示更多..

文献类型

1. [图书] (56)
2. 显示更多..

语言种类

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