LEADER 02068nam0 2200445 i 450 001 VAN0104358 005 20220224125428.775 017 70$2N$a978-94-007-7548-0 100 $a20151221d2014 |0itac50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 200 1 $aAdvances in natural deduction$ea celebration of Dag Prawitz's work$fLuiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva editors 210 $aDordrecht$cSpringer$d2014 215 $aXVI, 279 p.$cill.$d24 cm 410 1$1001VAN0103150$12001 $aTrends in logic$estudia logica library$1210 $aBerlin [etc.]$cSpringer$v39 500 1$3VAN0241478$aAdvances in natural deduction$91410010 606 $a03F03$xProof theory, general (including proof-theoretic semantics) [MSC 2020]$3VANC023705$2MF 606 $a03A05$xPhilosophical and critical aspects of logic and foundations [MSC 2020]$3VANC024501$2MF 606 $a03F05$xCut-elimination and normal-form theorems [MSC 2020]$3VANC024532$2MF 606 $a03F07$xStructure of proofs [MSC 2020]$3VANC031517$2MF 610 $aCut-Elimination$9KW:K 610 $aGentzen systems$9KW:K 610 $aNatural Deduction and Sequent Calculus$9KW:K 610 $aNormalization Theorem$9KW:K 610 $aProof Theory$9KW:K 610 $aProof-Theoretic Semantics$9KW:K 620 $aNL$dDordrecht$3VANL000068 702 1$ade Paiva$bValeria$3VANV081399 702 1$aHaeusler$bEdward Hermann$3VANV081398 702 1$aPereira$bLuiz Carlos$3VANV081397 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-94-007-7548-0$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15 912 $fN 912 $aVAN0104358 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 4329 $e15EB 4329 20191106 996 $aAdvances in natural deduction$91410010 997 $aUNICAMPANIA