| 000 | 00585cam a2200205ua 4500 | ||
|---|---|---|---|
| 008 | 130712t2008||||||||||| 00 ||eng c | ||
| 020 | _a978-3-540-77532-4 | ||
| 041 | 0 | _aeng | |
| 082 |
_a511.36 _bKOH/A |
||
| 245 | 1 | 2 | _aApplied Proof Theory: Proof Interpretations and their use in Mathematics / |
| 250 | _a1 | ||
| 260 |
_aBerlin: _bSpringer, _c2008. |
||
| 300 | _a534. | ||
| 362 | 1 | _a2008. | |
| 440 | 0 | _aSpringer Monographs in Mathematics | |
| 490 | 0 | _aSpringer Monographs in Mathematics | |
| 650 | 0 | _aMathematics- Proof theory | |
| 700 | 0 | 2 | _aKohlenbach,, Ulrich |
| 942 | _cBK | ||
| 999 |
_c29263 _d29263 |
||