02307nam0 2200469 i 450 VAN011326020230705121432.840N978331910103320180104d2015 |0itac50 baengCH|||| |||||Gentzen’s centenarythe quest for consistencyReinhard Kahle, Michael Rathjen editors[Cham]Springer2015X, 561 p.ill.24 cmVAN0235034Gentzen’s centenary : the quest for consistency152250403-XXMathematical logic and foundations [MSC 2020]VANC019750MF01A60History of mathematics in the 20th century [MSC 2020]VANC021492MF03F03Proof theory, general (including proof-theoretic semantics) [MSC 2020]VANC023705MF03F30First-order arithmetic and fragments [MSC 2020]VANC024401MF03A05Philosophical and critical aspects of logic and foundations [MSC 2020]VANC024501MF03F05Cut-elimination and normal-form theorems [MSC 2020]VANC024532MF03F15Recursive ordinals and ordinal notations [MSC 2020]VANC033571MF03F25Relative consistency and interpretations [MSC 2020]VANC033572MF03F35Second- and higher-order arithmetic and fragments [MSC 2020]VANC033573MFConsistency ProofKW:KGentzen Formal SystemsKW:KGentzen's Main TheoremKW:KOrdinal AnalysisKW:KProof TheoryKW:KCHChamVANL001889KahleReinhardVANV087386RathjenMichaelVANV087387Springer <editore>VANV108073650ITSOL20240614RICAhttp://dx.doi.org/10.1007/978-3-319-10103-3E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0113260BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0222 08eMF222 20180104 Gentzen’s centenary1522504UNICAMPANIA