LEADER 01902nam0 22004333i 450 001 VAN0261823 005 20231106092731.8 017 70$2N$a9783540386490 100 $a20230721d1981 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aIterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies$fWilfried Buchholz ... [et al.] 210 $aBerlin$cSpringer$d1981 215 $aviii, 384 p.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v897 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03F05$xCut-elimination and normal-form theorems [MSC 2020]$3VANC024532$2MF 606 $a03F15$xRecursive ordinals and ordinal notations [MSC 2020]$3VANC033571$2MF 606 $a03F10$xFunctionals in proof theory [MSC 2020]$3VANC037618$2MF 610 $aCalculation$9KW:K 610 $aDerivation$9KW:K 610 $aEquivalence$9KW:K 610 $aInductive definition$9KW:K 610 $aOrdinals$9KW:K 610 $aProof Theory$9KW:K 610 $aProofs$9KW:K 610 $aSubsystems of analysis$9KW:K 620 $dBerlin$3VANL000066 702 1$aBuchholz$bWilfried$3VANV216268 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0091894$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0261823 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 6368 $e08eMF6368 20230731 996 $aIterated inductive definitions and subsystems of analysis$9979466 997 $aUNICAMPANIA