LEADER 02307nam0 2200469 i 450 001 VAN0113260 005 20230705121432.840 017 70$2N$a9783319101033 100 $a20180104d2015 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aGentzen?s centenary$ethe quest for consistency$fReinhard Kahle, Michael Rathjen editors 210 $a[Cham]$cSpringer$d2015 215 $aX, 561 p.$cill.$d24 cm 500 1$3VAN0235034$aGentzen?s centenary : the quest for consistency$91522504 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a01A60$xHistory of mathematics in the 20th century [MSC 2020]$3VANC021492$2MF 606 $a03F03$xProof theory, general (including proof-theoretic semantics) [MSC 2020]$3VANC023705$2MF 606 $a03F30$xFirst-order arithmetic and fragments [MSC 2020]$3VANC024401$2MF 606 $a03A05$xPhilosophical and critical aspects of logic and foundations [MSC 2020]$3VANC024501$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 $a03F25$xRelative consistency and interpretations [MSC 2020]$3VANC033572$2MF 606 $a03F35$xSecond- and higher-order arithmetic and fragments [MSC 2020]$3VANC033573$2MF 610 $aConsistency Proof$9KW:K 610 $aGentzen Formal Systems$9KW:K 610 $aGentzen's Main Theorem$9KW:K 610 $aOrdinal Analysis$9KW:K 610 $aProof Theory$9KW:K 620 $aCH$dCham$3VANL001889 702 1$aKahle$bReinhard$3VANV087386 702 1$aRathjen$bMichael$3VANV087387 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-3-319-10103-3$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 $aVAN0113260 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 0222 $e08eMF222 20180104 996 $aGentzen?s centenary$91522504 997 $aUNICAMPANIA