| 000 | 01028nam a2200301 a 4500 | ||
|---|---|---|---|
| 005 | 20250914102127.0 | ||
| 008 | 010822s2000 xxk b 001 0 eng | ||
| 010 | _a00-702855 | ||
| 020 |
_a0521779111 (pbk.) / _cRM131.96 |
||
| 039 | 9 |
_a200109270927 _blaili _y08-22-2001 _zzakir |
|
| 090 | _aQA9.54.T76 2000 | ||
| 090 | _aQA9.54 | ||
| 100 | 1 |
_aTroelstra, A. S. _q(Anne Sjerp) |
|
| 245 | 1 | 0 |
_aBasic proof theory / _cA.S. Troelstra, H. Schwichtenberg. |
| 250 | _a2nd ed. | ||
| 260 |
_aCambridge : _bCambridge University Press, _c2000. |
||
| 300 |
_axii, 417 p. ; _c23 cm. |
||
| 440 | 0 |
_aCambridge tracts in theoretical computer science ; _v43 |
|
| 504 | _aIncludes bibliographical references (p. 379-403) and index. | ||
| 650 | 0 | _aProof theory. | |
| 700 | 1 |
_aSchwichtenberg, Helmut, _d1942- |
|
| 907 |
_a.b12900849 _b2021-05-28 _c2019-11-12 |
||
| 942 |
_c01 _n0 _kQA9.54.T76 2000 |
||
| 914 | _avtls000301533 | ||
| 991 | _aProgram Matematik | ||
| 998 |
_at _b2001-09-08 _cm _da _feng _gxxk _y0 _z.b12900849 |
||
| 999 |
_c290586 _d290586 |
||