01902nam0 22004333i 450 VAN026182320231106092731.8N978354038649020230721d1981 |0itac50 baengDE|||| |||||Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical StudiesWilfried Buchholz ... [et al.]BerlinSpringer1981viii, 384 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer89703-XXMathematical logic and foundations [MSC 2020]VANC019750MF03F05Cut-elimination and normal-form theorems [MSC 2020]VANC024532MF03F15Recursive ordinals and ordinal notations [MSC 2020]VANC033571MF03F10Functionals in proof theory [MSC 2020]VANC037618MFCalculationKW:KDerivationKW:KEquivalenceKW:KInductive definitionKW:KOrdinalsKW:KProof TheoryKW:KProofsKW:KSubsystems of analysisKW:KBerlinVANL000066BuchholzWilfriedVANV216268Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0091894E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0261823BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6368 08eMF6368 20230731 Iterated inductive definitions and subsystems of analysis979466UNICAMPANIA