Đang tải...
Applied Proof Theory: Proof Interpretations and their use in Mathematics /
| Tác giả khác: | |
|---|---|
| Định dạng: | Printed Book |
| Ngôn ngữ: | English |
| Được phát hành: |
Berlin:
Springer,
2008.
|
| Phiên bản: | 1 |
| Loạt: | Springer Monographs in Mathematics
|
| Những chủ đề: |
Search Result 1