Structural proof theory
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Weitere Verfasser: | |
| Format: | Livre papier |
| Sprache: | Anglais |
| Veröffentlicht: |
Cambridge (GB) ; New York :
Cambridge University Press
2001.
|
| Schlagworte: | |
| Anmerkung: |
Autre tirage : 2008 |
| Autres localisations: | Voir dans le Sudoc |
INSA CVL Bourges
| Standort | Signatur | Type de prêt | Status | |
|---|---|---|---|---|
| Mathématiques | 511.3 NEG | Verfügbar | ||
| Mathématiques | 511.3 NEG | Verfügbar |