LEADER 01660nam0 2200361 i 450 
001 SUN0104358
005 20191106095024.870
010   $a8-94-007-7547-3$d0.00
017 70$2N$a978-94-007-7548-0
100   $a20151221d2014       |0engc50      ba
101   $aeng
102   $aNL
105   $a||||    |||||
200 1 $a*Advances in natural deduction$ea celebration of Dag Prawitz's work$fLuiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva editors
205   $aDordrecht : Springer, 2014
210   $aXVI$d279 p.$cill. ; 24 cm
215   $aPubblicazione in formato elettronico
410  1$1001SUN0103150$12001 $a*Trends in logic$estudia logica library$v39$1210  $aBerlin$cSpringer$d1997-.
606   $a03F03$xProof theory, general (including proof-theoretic semantics) [MSC 2020]$2MF$3SUNC023705
606   $a03A05$xPhilosophical and critical aspects of logic and foundations [MSC 2020]$2MF$3SUNC024501
606   $a03F05$xCut-elimination and normal-form theorems [MSC 2020]$2MF$3SUNC024532
606   $a03F07$xStructure of proofs [MSC 2020]$2MF$3SUNC031517
620   $aNL$dDordrecht$3SUNL000068
702  1$aPereira$b, Luiz Carlos$3SUNV081397
702  1$aHaeusler$b, Edward Hermann$3SUNV081398
702  1$ade Paiva$b, Valeria$3SUNV081399
712   $aSpringer$3SUNV000178$4650
801   $aIT$bSOL$c20201012$gRICA
856 4 $uhttp://dx.doi.org/10.1007/978-94-007-7548-0
912   $aSUN0104358
950   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS      SBA EBOOK 4329                      $e15EB 4329              20191106            
996   $aAdvances in natural deduction$91410010
997   $aUNICAMPANIA