Lanean...
Applied proof theory: Proof interpretations and their use in mathematics/
| Egile nagusia: | |
|---|---|
| Formatua: | Printed Book |
| Hizkuntza: | English |
| Argitaratua: |
Germany:
Springer,
2008.
|
| Saila: | Springer monographs in mathematics.
|
| Gaiak: |
University of Calicut
| Sailkapena: |
511.36 511.36 KOH/A |
|---|---|
| Alea | Egoera zuzenean ez dago erabilgarri |
| Alea | Egoera zuzenean ez dago erabilgarri |