01660nam0 2200361 i 450 SUN010435820191106095024.8708-94-007-7547-30.00N978-94-007-7548-020151221d2014 |0engc50 baengNL|||| |||||*Advances in natural deductiona celebration of Dag Prawitz's workLuiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva editorsDordrecht : Springer, 2014XVI279 p.ill. ; 24 cmPubblicazione in formato elettronico001SUN01031502001 *Trends in logicstudia logica library39210 BerlinSpringer1997-.03F03Proof theory, general (including proof-theoretic semantics) [MSC 2020]MFSUNC02370503A05Philosophical and critical aspects of logic and foundations [MSC 2020]MFSUNC02450103F05Cut-elimination and normal-form theorems [MSC 2020]MFSUNC02453203F07Structure of proofs [MSC 2020]MFSUNC031517NLDordrechtSUNL000068Pereira, Luiz CarlosSUNV081397Haeusler, Edward HermannSUNV081398de Paiva, ValeriaSUNV081399SpringerSUNV000178650ITSOL20201012RICAhttp://dx.doi.org/10.1007/978-94-007-7548-0SUN0104358BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 4329 15EB 4329 20191106 Advances in natural deduction1410010UNICAMPANIA