Načítá se...
Applied proof theory : proof interpretations and their use in mathematics /
| Hlavní autor: | |
|---|---|
| Médium: | Printed Book |
| Vydáno: |
Berlin :
Springer,
c2008.
|
| Edice: | Springer monographs in mathematics,
|
| Témata: |