Structural proof theory
Đã lưu trong:
| Những tác giả chính: | , |
|---|---|
| Tác giả khác: | |
| Định dạng: | Livre papier |
| Ngôn ngữ: | Anglais |
| Được phát hành: |
Cambridge (GB) ; New York :
Cambridge University Press
2001.
|
| Những chủ đề: | |
| Chú thích: |
Autre tirage : 2008 |
| Autres localisations: | Voir dans le Sudoc |
INSA CVL Bourges
| Vị trí | Số hiệu | Type de prêt | Trạng thái | |
|---|---|---|---|---|
| Mathématiques | 511.3 NEG | Sẵn có | ||
| Mathématiques | 511.3 NEG | Sẵn có |