Đang tải...
Applied proof theory : proof interpretations and their use in mathematics /
| Tác giả chính: | |
|---|---|
| Định dạng: | Printed Book |
| Được phát hành: |
Berlin :
Springer,
c2008.
|
| Loạt: | Springer monographs in mathematics,
|
| Những chủ đề: |