| 000 | 00395nam a22001455a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 008 | 080530s2008 nyu 000 0 eng | ||
| 080 |
_a519.1 _bPOH |
||
| 100 | 1 |
_aPohlers, Wolfram. _97327 |
|
| 245 | 1 | 0 |
_aProof theory: _bFirst step into impradictivity. _cWolfram Pohlers. |
| 260 |
_aBerlin: _bSpringer, _c2009. |
||
| 300 | _axiii, 370p. | ||
| 653 | _aProof theory | ||
| 942 | _cBK | ||
| 999 |
_c164536 _d164536 |
||