LEADER 01904nam0 2200397 i 450 
001 SUN0113260
005 20180105125045.12
010   $d0.00
017 70$2N$a978-3-319-10103-3
100   $a20180104d2015       |0engc50      ba
101   $aeng
102   $aCH
105   $a||||    |||||
200 1 $a*Gentzen?s centenary$ethe quest for consistency$fReinhard Kahle, Michael Rathjen editors
205   $a[Cham] : Springer, 2015
210   $aX$d561 p.$cill. ; 24 cm
215   $aPubblicazione in formato elettronico
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a01A60$xHistory of mathematics in the 20th century [MSC 2020]$2MF$3SUNC021492
606   $a03F03$xProof theory, general (including proof-theoretic semantics) [MSC 2020]$2MF$3SUNC023705
606   $a03F30$xFirst-order arithmetic and fragments [MSC 2020]$2MF$3SUNC024401
606   $a03A05$xPhilosophical and critical aspects of logic and foundations [MSC 2020]$2MF$3SUNC024501
606   $a03F05$xCut-elimination and normal-form theorems [MSC 2020]$2MF$3SUNC024532
606   $a03F15$xRecursive ordinals and ordinal notations [MSC 2020]$2MF$3SUNC033571
606   $a03F25$xRelative consistency and interpretations [MSC 2020]$2MF$3SUNC033572
606   $a03F35$xSecond- and higher-order arithmetic and fragments [MSC 2020]$2MF$3SUNC033573
620   $aCH$dCham$3SUNL001889
702  1$aKahle$b, Reinhard$3SUNV087386
702  1$aRathjen$b, Michael$3SUNV087387
712   $aSpringer$3SUNV000178$4650
801   $aIT$bSOL$c20210503$gRICA
856 4 $uhttp://dx.doi.org/10.1007/978-3-319-10103-3
912   $aSUN0113260
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS      e-book                  0222        $e08eMF222               20180104            
996   $aGentzen?s centenary$91522504
997   $aUNICAMPANIA