01696nam0 2200385 i 450 VAN012339620230704103658.285N978331942120920190919d2017 |0itac50 baengCH|||| |||||Saved from the cellarGerhard Gentzen’s shorthand notes on logic and foundations of mathematicsJan von PlatoChamSpringer2017x, 351 p.ill.24 cm001VAN00511232001 Sources and studies in the history of mathematics and physical sciences210 Berlin [etc.]SpringerVAN0235937Saved from the cellar156046703-XXMathematical logic and foundations [MSC 2020]VANC019750MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFCut theoremKW:KNatural calculiKW:KPaul BernaysKW:KPredicate logicKW:KType theoryKW:KCHChamVANL001889von PlatoJanVANV094802766770Springer <editore>VANV108073650ITSOL20240614RICAhttp://doi.org/10.1007/978-3-319-42120-9E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0123396BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0885 08eMF885 20190919 Saved from the cellar1560467UNICAMPANIA