LEADER 01696nam0 2200385 i 450 001 VAN0123396 005 20230704103658.285 017 70$2N$a9783319421209 100 $a20190919d2017 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aSaved from the cellar$eGerhard Gentzen?s shorthand notes on logic and foundations of mathematics$fJan von Plato 210 $aCham$cSpringer$d2017 215 $ax, 351 p.$cill.$d24 cm 410 1$1001VAN0051123$12001 $aSources and studies in the history of mathematics and physical sciences$1210 $aBerlin [etc.]$cSpringer 500 1$3VAN0235937$aSaved from the cellar$91560467 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF 610 $aCut theorem$9KW:K 610 $aNatural calculi$9KW:K 610 $aPaul Bernays$9KW:K 610 $aPredicate logic$9KW:K 610 $aType theory$9KW:K 620 $aCH$dCham$3VANL001889 700 1$avon Plato$bJan$3VANV094802$0766770 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-319-42120-9$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 $aVAN0123396 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 0885 $e08eMF885 20190919 996 $aSaved from the cellar$91560467 997 $aUNICAMPANIA