01904nam0 2200397 i 450 SUN011326020180105125045.120.00N978-3-319-10103-320180104d2015 |0engc50 baengCH|||| |||||*Gentzen’s centenarythe quest for consistencyReinhard Kahle, Michael Rathjen editors[Cham] : Springer, 2015X561 p.ill. ; 24 cmPubblicazione in formato elettronico03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975001A60History of mathematics in the 20th century [MSC 2020]MFSUNC02149203F03Proof theory, general (including proof-theoretic semantics) [MSC 2020]MFSUNC02370503F30First-order arithmetic and fragments [MSC 2020]MFSUNC02440103A05Philosophical and critical aspects of logic and foundations [MSC 2020]MFSUNC02450103F05Cut-elimination and normal-form theorems [MSC 2020]MFSUNC02453203F15Recursive ordinals and ordinal notations [MSC 2020]MFSUNC03357103F25Relative consistency and interpretations [MSC 2020]MFSUNC03357203F35Second- and higher-order arithmetic and fragments [MSC 2020]MFSUNC033573CHChamSUNL001889Kahle, ReinhardSUNV087386Rathjen, MichaelSUNV087387SpringerSUNV000178650ITSOL20210503RICAhttp://dx.doi.org/10.1007/978-3-319-10103-3SUN0113260UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0222 08eMF222 20180104 Gentzen’s centenary1522504UNICAMPANIA