Lataa...
Applied proof theory: Proof interpretations and their use in mathematics/
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Printed Book |
| Kieli: | English |
| Julkaistu: |
Germany:
Springer,
2008.
|
| Sarja: | Springer monographs in mathematics.
|
| Aiheet: |
University of Calicut
| Hyllypaikka: |
511.36 511.36 KOH/A |
|---|---|
| Nide | Reaaliaikaista tietoa ei saatavissa |
| Nide | Reaaliaikaista tietoa ei saatavissa |