Učitavanje...
Applied proof theory : proof interpretations and their use in mathematics /
| Glavni autor: | |
|---|---|
| Format: | Printed Book |
| Izdano: |
Berlin :
Springer,
c2008.
|
| Serija: | Springer monographs in mathematics,
|
| Teme: |