01656nam0 22003853i 450 VAN0024992920240806101421.702N978303049424720220909d2020 |0itac50 baengCH|||| |||||ˆThe ‰Legacy of Kurt SchütteReinhard Kahle, Michael Rathjen editorsChamSpringer2020xix, 502 p.ill.24 cmVAN00249930ˆThe ‰Legacy of Kurt Schütte290949703F03Proof theory, general (including proof-theoretic semantics) [MSC 2020]VANC023705MF03F05Cut-elimination and normal-form theorems [MSC 2020]VANC024532MF03F15Recursive ordinals and ordinal notations [MSC 2020]VANC033571MFCut-EliminationKW:KHilbert´s ProgrammeKW:KKurt SchütteKW:KProof TheoryKW:KCHChamVANL001889KahleReinhardVANV087386RathjenMichaelVANV087387Springer <editore>VANV108073650ITSOL20241115RICAhttp://doi.org/10.1007/978-3-030-49424-7E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00249929BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 4887 08eMF4887 20220909 Legacy of Kurt Schütte2909497UNICAMPANIA