Structural proof theory
Gorde:
| Egile Nagusiak: | , |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Livre papier |
| Hizkuntza: | Anglais |
| Argitaratua: |
Cambridge (GB) ; New York :
Cambridge University Press
2001.
|
| Gaiak: | |
| Oharra: |
Autre tirage : 2008 |
| Autres localisations: | Voir dans le Sudoc |
INSA CVL Bourges
| Kokapena | Sailkapena | Type de prêt | Egoera | |
|---|---|---|---|---|
| Mathématiques | 511.3 NEG | Eskuragarri | ||
| Mathématiques | 511.3 NEG | Eskuragarri |