Structural proof theory
保存先:
| 主要な著者: | , |
|---|---|
| その他の著者: | |
| フォーマット: | 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 | 利用可 |