Structural proof theory
Tallennettuna:
| Päätekijät: | , |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Livre papier |
| Kieli: | Anglais |
| Julkaistu: |
Cambridge (GB) ; New York :
Cambridge University Press
2001.
|
| Aiheet: | |
| Huomautus: |
Autre tirage : 2008 |
| Autres localisations: | Voir dans le Sudoc |
INSA CVL Bourges
| Sijainti | Hyllypaikka | Type de prêt | Tila | |
|---|---|---|---|---|
| Mathématiques | 511.3 NEG | Saatavissa | ||
| Mathématiques | 511.3 NEG | Saatavissa |