Wird geladen...
Applied Proof Theory: Proof Interpretations and their use in Mathematics /
| Weitere Verfasser: | |
|---|---|
| Format: | Printed Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin:
Springer,
2008.
|
| Ausgabe: | 1 |
| Schriftenreihe: | Springer Monographs in Mathematics
|
| Schlagworte: |
Search Result 1