已经限定的分面

图书馆:

1. 湖南大学图书馆 x

馆藏地点:

图书馆

1. 院系分馆
2. 湖南大学图书馆联合目录
3. [湖南大学图书馆]
4. 显示更多..

馆藏地点

1. 显示更多..

主题

1. proof theory (5)
2. 研究 (4)
3. intuitionistic mathematics (2)
4. 举证责任 (2)
5. approximation theory (1)
6. arithmetical algebraic geometry (1)
7. bibliography (1)
8. foundations (1)
9. functional analysis (1)
10. functions of complex variables (1)
11. induction (mathematics) (1)
12. logic, symbolic and mathematical (1)
13. mathematical analysis (1)
14. model theory (1)
15. modell conjecture (1)
16. schütte, k (1)
17. 中国 (1)
18. 刑事诉讼 (1)
19. 民事诉讼 (1)
20. 证据 (1)
21. 显示更多..

著者

1. müller, g. h (2)
2. bell,j.l (1)
3. bouscaren, elisabeth, (1)
4. buchholz, wilfried, (1)
5. diller, justus (1)
6. international seminar on proof theory in computer science(2001:germany) (1)
7. international summer institute and logic colloquium (1)
8. isilc proof theory symposion (1)
9. jager,gerhard (1)
10. kahle,reinhard,et al (1)
11. kunen,k (1)
12. kunen,kenneth (1)
13. lax, peter d (1)
14. logic colloquium (1)
15. luckhardt, horst (1)
16. pohlers, wolfram (1)
17. richter, michael m., (1)
18. scarpellini, bruno (1)
19. schütte, k (1)
20. takeuti,gaisi (1)
21. 显示更多..

出版日期

1. 2004 (1)
2. 2011 (1)
3. 2018 (1)
4. 2024 (1)
5. 显示更多..

文献类型

1. 图书 (18)
2. 显示更多..

语言种类

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