| 000 | 01536n a2200373#a 4500 | ||
|---|---|---|---|
| 001 | 8197 | ||
| 005 | 20221213135759.0 | ||
| 008 | 811127s1981 gw a b 001 0 eng | ||
| 010 | _a81021364 | ||
| 020 | _a0387111700 (U.S. : pbk.) | ||
| 035 | _aocm08034623 | ||
| 035 | _aRecord 15703 | ||
| 040 |
_aDLC _cDLC _dFPU |
||
| 049 | _aP5AA | ||
| 082 | 0 | 0 |
_a510 s _a511 |
| 090 | _acolm | ||
| 245 | 0 | 0 |
_aIterated inductive definitions and subsystems of analysis: _brecent proof-theoretical studies/ _cWilfried Buchholz ... [et al.]. |
| 260 |
_aBerlin ; _aNew York: _bSpringer-Verlag, _c1981. |
||
| 300 |
_av, 383 p.: _bill.; _c25 cm. |
||
| 490 | 1 |
_aLecture notes in mathematics ; _v897. |
|
| 500 | _aIncludes index. | ||
| 504 | _aBibliography: p. [358]-368. | ||
| 650 | 0 | 7 |
_aAnalyse mathématique- _xFondements. _2ram _930230 |
| 650 | 0 | 7 |
_aInduction (Mathématiques).- _2ram _930231 |
| 650 | 0 | 0 |
_aPreuve, théorie de la.- _2ram _930232 |
| 650 | 0 | 0 |
_aMathematical analysis- _xFoundations _938395 |
| 650 | 0 | 0 |
_aInduction (Mathematics)- _937144 |
| 650 | 0 | 4 |
_aProof theory- _937150 |
| 697 |
_aColeções de Monografias. _923736 |
||
| 700 | 1 |
_aBuchholz, Wilfried, _d1948- _938946 |
|
| 830 | 0 |
_aLecture notes in mathematics (Springer-Verlag); _v897. _943881 |
|
| 942 |
_2impa _cBK |
||
| 999 |
_aBUCHHOLZ, Wilfried,. <b> Iterated inductive definitions and subsystems of analysis : </b> recent proof-theoretical studies . <b></b> Berlin ;: New York: Springer-Verlag, 1981. 383 p. ISBN 0387111700 (U.S. : pbk.) _c9202 _d9202 |
||