Structural proof theory
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Autres auteurs: | |
| Format: | Livre papier |
| Langue: | Anglais |
| Publié: |
Cambridge (GB) ; New York :
Cambridge University Press
2001.
|
| Sujets: | |
| Note: |
Autre tirage : 2008 |
| Autres localisations: | Voir dans le Sudoc |
INSA CVL Bourges
| Localisation | Cote | Type de prêt | Statut | |
|---|---|---|---|---|
| Mathématiques | 511.3 NEG | Disponible | ||
| Mathématiques | 511.3 NEG | Disponible |