| 000 | 00586nam a2200229 4500 | ||
|---|---|---|---|
| 008 | 160616s1996, 2000 000 0 | ||
| 245 | _aBasic Proof Theory | ||
| 100 | _aTroelstra, A S. | ||
| 100 | _aSchwichtenberg, H. | ||
| 250 | _a1st & 2nd | ||
| 260 | _aCambridge | ||
| 260 | _bCUP | ||
| 260 | _c1996, 2000 | ||
| 300 | _a343p; 417p; | ||
| 440 | _aCambridge Tracts in Theoretical Computer Science, V. 43 | ||
| 020 | _a0 521 57223 1 | ||
| 650 | _aBasic Proof Theory | ||
| 942 |
_cBK _2BK13671 |
||
| 080 | _a681.3 TRO | ||
| 080 | _a681.3 TRO | ||
| 080 | _a681.3 TRO | ||
| 999 |
_c13671 _d13671 |
||