02072nam0 2200445 i 450 VAN0010435820240806100725.866N978-94-007-7548-020151221d2014 |0itac50 baengNL|||| |||||Advances in natural deductiona celebration of Dag Prawitz's workLuiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva editorsDordrechtSpringer2014XVI, 279 p.ill.24 cm001VAN001031502001 Trends in logicstudia logica library210 Berlin [etc.]Springer39VAN00241478Advances in natural deduction141001003A05Philosophical and critical aspects of logic and foundations [MSC 2020]VANC024501MF03F03Proof theory, general (including proof-theoretic semantics) [MSC 2020]VANC023705MF03F05Cut-elimination and normal-form theorems [MSC 2020]VANC024532MF03F07Structure of proofs [MSC 2020]VANC031517MFCut-EliminationKW:KGentzen systemsKW:KNatural Deduction and Sequent CalculusKW:KNormalization TheoremKW:KProof TheoryKW:KProof-Theoretic SemanticsKW:KNLDordrechtVANL000068de PaivaValeriaVANV081399HaeuslerEdward HermannVANV081398PereiraLuiz CarlosVANV081397Springer <editore>VANV108073650ITSOL20240906RICAhttp://dx.doi.org/10.1007/978-94-007-7548-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN00104358BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 4329 15EB 4329 20191106 Advances in natural deduction1410010UNICAMPANIA