Structural proof theory
Zapisane w:
| Główni autorzy: | , |
|---|---|
| Kolejni autorzy: | |
| Format: | Livre papier |
| Język: | Anglais |
| Wydane: |
Cambridge (GB) ; New York :
Cambridge University Press
2001.
|
| Hasła przedmiotowe: | |
| Komentarz: |
Autre tirage : 2008 |
| Autres localisations: | Voir dans le Sudoc |
INSA CVL Bourges
| Lokalizacja | Sygnatura | Type de prêt | Status | |
|---|---|---|---|---|
| Mathématiques | 511.3 NEG | Dostępne | ||
| Mathématiques | 511.3 NEG | Dostępne |