Structural proof theory
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| 其他作者: | |
| 格式: | Livre papier |
| 语言: | Anglais |
| 出版: |
Cambridge (GB) ; New York :
Cambridge University Press
2001.
|
| 主题: | |
| 提示: |
Autre tirage : 2008 |
| Autres localisations: | Voir dans le Sudoc |
INSA CVL Bourges
| 位置 | 索引号 | Type de prêt | 状态 | |
|---|---|---|---|---|
| Mathématiques | 511.3 NEG | 可用 | ||
| Mathématiques | 511.3 NEG | 可用 |