LEADER 01347nam0 2200313 i 450 
001 SUN0123396
005 20190924123421.575
010   $d0.00
017 70$2N$a978-3-319-42120-9
100   $a20190919d2017       |0engc50      ba
101   $aeng
102   $aCH
105   $a||||    |||||
200 1 $a*Saved from the cellar$eGerhard Gentzen?s shorthand notes on logic and foundations of mathematics$fJan von Plato
205   $aCham : Springer, 2017
210   $ax$d351 p.$cill. ; 24 cm
215   $aPubblicazione in formato elettronico
410  1$1001SUN0051123$12001 $a*Sources and studies in the history of mathematics and physical sciences$1210  $aBerlin$cSpringer$d1992-.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$2MF$3SUNC024383
620   $aCH$dCham$3SUNL001889
700  1$avon Plato$b, Jan$3SUNV094802$0766770
712   $aSpringer$3SUNV000178$4650
801   $aIT$bSOL$c20210503$gRICA
856 4 $uhttp://doi.org/10.1007/978-3-319-42120-9
912   $aSUN0123396
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS      e-book                  0885        $e08eMF885               20190919            
996   $aSaved from the cellar$91560467
997   $aUNICAMPANIA