Đ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ủ đề: |
| Được phát hành: | 2008. |
|---|---|
| Mô tả vật lý: | 534. |
| số ISBN: | 978-3-540-77532-4 |