02440nam0 22004933i 450 VAN011436420220302111804.548N978-3-319-29198-720180202d2016 |0itac50 baengCH|||| |||||Advances in proof theoryReinhard Kahle, Thomas Strahm, Thomas Studer editors[Basel]BirkhäuserSpringer2016XII, 425 p.ill.24 cm001VAN00526792001 Progress in computer science and applied logic210 Basel [etc.]Birkhäuser28VAN0241868Advances in proof theory152310903F50Metamathematics of constructive systems [MSC 2020]VANC019808MF03B30Foundations of classical theories (including reverse mathematics) [MSC 2020]VANC019969MF03F03Proof theory, general (including proof-theoretic semantics) [MSC 2020]VANC023705MF03F05Cut-elimination and normal-form theorems [MSC 2020]VANC024532MF68V15Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020]VANC024545MF03F15Recursive ordinals and ordinal notations [MSC 2020]VANC033571MF03B20Subsystems of classical logic (including intuitionistic logic) [MSC 2020]VANC033870MF03B35Mechanization of proofs and logical operations [MSC 2020]VANC033871MFConstructive mathematicsKW:KOrdinal AnalysisKW:KProof TheoryKW:KProof searchKW:KType theoryKW:KBaselVANL002076KahleReinhardVANV087386StrahmThomasVANV087816StuderThomasVANV088454Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20240614RICAhttp://dx.doi.org/10.1007/978-3-319-29198-7E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN0114364BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 2087 15EB 2087 20180202 Advances in proof theory1523109UNICAMPANIA