Structural proof theory
保存先:
| 主要な著者: | , |
|---|---|
| その他の著者: | |
| フォーマット: | Livre papier |
| 言語: | Anglais |
| 出版事項: |
Cambridge (GB) ; New York :
Cambridge University Press
2001.
|
| 主題: | |
| 注記: |
Autre tirage : 2008 |
| Autres localisations: | Voir dans le Sudoc |
| 記述事項: | Autre tirage : 2008 |
|---|---|
| 物理的記述: | 1 vol. (XVII-257 p.) ; 24 cm. |
| 書誌: | Bibliogr. p. 245-249. Index |
| ISBN: | 9780521793070 (rel.) 9780521068420 (br.) 0521793076 (rel.) |