Nantilus
Basic proof theory
Saved in:
| Main Authors : | , |
|---|---|
| Format : | Book |
| Language : | anglais |
| Title statement : | Basic proof theory / A. S. Troelstra, H. Schwichtenberg |
| Edition : | 2nd edition |
| Published : |
Cambridge :
Cambridge University Press
, cop. 2000 |
| Physical Description : | 1 vol. (XII-417 p.) |
| Series : | Cambridge tracts in theoretical computer science ; 43 |
| Subjects : |
Loading