| 000 | 00409nam a2200109Ia 4500 | ||
|---|---|---|---|
| 008 | 220816s9999||||xx |||||||||||||| ||und|| | ||
| 020 | _a9783540693185 (pbk.) | 3540693181 (pbk.) | 9783540693192 (e-ISBN) | 354069319X (e-ISBN) | ||
| 245 | 0 |
_aProof theory _cPohlers, Wolfram. |
|
| 260 |
_aBerlin : _bSpringer, _c2009 |
||
| 300 | _axiii, 370 p.; 24 cm. | ||
| 856 | _uhttp://www.columbia.edu/cgi-bin/cul/resolve?clio7901125 | ||
| 999 |
_c2849 _d2849 |
||