Đ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ủ đề: |
Kannur University
Số hiệu: |
511.36 KOH/ |
---|---|
Sao chép | Trạng thái trực tiếp không khả dụng |