| 000 | 00622 a2200181 4500 | ||
|---|---|---|---|
| 005 | 20120503145256.0 | ||
| 008 | 120503t xxu||||| |||| 00| 0 eng d | ||
| 080 |
_a510.6 _bKOH |
||
| 100 |
_aKohlenbach. U. _920137 |
||
| 245 |
_aApplied proof theory _bproof interpretations and their use in mathematics |
||
| 300 | _axix, 532p. | ||
| 653 | _aMathematical logic | ||
| 653 | _aProof theory | ||
| 942 | _cBK | ||
| 260 |
_aHeidelberg _bSpringer _c2008 _920138 |
||
| 020 | _a9783540775324 | ||
| 952 |
_w2012-01-04 _p00066662 _v0.00 _r2012-01-04 _40 _e89 _00 _bUL _10 _o510.6 KOH _d2012-01-04 _70 _cGEN _2udc _g0.00 _yBK _aUL |
||
| 999 |
_c73496 _d73495 |
||