Loading...
Applied proof theory : proof interpretations and their use in mathematics /
| Hovedforfatter: | |
|---|---|
| Format: | Printed Book |
| Udgivet: |
Berlin :
Springer,
c2008.
|
| Serier: | Springer monographs in mathematics,
|
| Fag: |