| 000 | 01061 a2200301 4500 | ||
|---|---|---|---|
| 010 | _a 81021364 | ||
| 020 | _a0387111700 (New York : pbk.) | ||
| 020 | _a3540111700 (Berlin : pbk.) | ||
| 035 | _aP I 1749 | ||
| 082 | 0 | 0 |
_a510 s _a511 |
| 084 | _203F35 (03F05 03F15) | ||
| 090 |
_c28865 _d28865 |
||
| 100 | _aBuchholz, Wilfried | ||
| 245 | 0 | 0 |
_aIterated inductive definitions and subsystems of analysis _brecent proof-theoretical studies _cWilfried Buchholz; Solomon Feferman; Wolfram Pohlers; Wilfried Sieg |
| 260 |
_aBerlin _aNew York _bSpringer-Verlag _cc1981 |
||
| 300 |
_av, 383 p _bill _c24 cm |
||
| 490 | 1 |
_aLecture notes in mathematics _v897 _xISSN 0075-8434 |
|
| 500 | _aCuprinde bibliografie si index | ||
| 650 | 0 |
_aMathematical analysis _xFoundations |
|
| 650 | 0 | _aInduction (Mathematics) | |
| 650 | 0 | _aProof theory | |
| 700 | 1 |
_aBuchholz, Wilfried _d1948- |
|
| 700 | 1 | _aFeferman, Solomon | |
| 700 | 1 | _aPohlers, Wolfram | |
| 700 | 1 | _aSieg, Wilfried | |
| 830 | 0 | _aLecture notes in mathematics (Springer-Verlag) | |
| 942 |
_aIMAR _cCART _sMD |
||
| 999 |
_c28569 _d28569 |
||