LEADER 01594nam0 22003493i 450 001 VAN00286429 005 20250507015045.38 010 $a978-88-217-8466-8 100 $a20250206d2024 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 181 $ai$b e 182 $an 183 $anc 200 1 $aAdempimento collaborativo, accertamento e contenzioso$fGianfranco Antico ... [et al.]$gdirezione scientifica di Gianfranco Ferranti$gcon la prefazione di Maurizio Leo 210 $aMilano$cWolters Kluwer$d2024 215 $aXVII, 250 p.$d24 cm 410 1$1001VAN00286444$12001 $aIPSOA riforma fiscale$1210 $aMilano$cWolters Kluwer$d2024- 606 $aContenzioso tributario$3VANC007827$2FI 620 $dMilano$3VANL000284 702 1$aAntico$bGianfranco$3VANV074627 702 1$aFerranti$bGianfranco$3VANV006011 702 1$aLeo$bMaurizio$3VANV010990 712 $aWolters Kluwer $3VANV112727$4650 801 $aIT$bSOL$c20250509$gRICA 856 4 $uhttps://shop.wki.it/offerta/adempimento-collaborativo-accertamento-e-contenzioso-s784383/#pdp-details$zhttps://shop.wki.it/offerta/adempimento-collaborativo-accertamento-e-contenzioso-s784383/#pdp-details 899 $aBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE POLITICHE$1IT-CE0182$2VAN04 912 $aVAN00286429 950 $aBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE POLITICHE$d04CONS LT DIR TRI $e04NS 1675 510 20250206 $sBuono 996 $aAdempimento collaborativo, accertamento e contenzioso$94311355 997 $aUNICAMPANIA LEADER 01804nam0 22004213i 450 001 VAN00274475 005 20250729124504.999 017 70$2N$a9783030571450 100 $a20240405d2021 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aSequents and Trees$eAn Introduction to the Theory and Applications of Propositional Sequent Calculi$fAndrzej Indrzejczak 210 $aCham$cBirkhäuser$cSpringer$d2021 215 $axvi, 345 p.$cill.$d24 cm 410 1$1001VAN00103951$12001 $aStudies in Universal Logic$1210 $aBasel [etc.]$cBirkhäuser$d2008- 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03B70$xLogic in computer science [MSC 2020]$3VANC024541$2MF 610 $aCut-Elimination$9KW:K 610 $aDecidability$9KW:K 610 $aHypersequent calculus$9KW:K 610 $aInterpolations$9KW:K 610 $aModal logics$9KW:K 610 $aNon-classical logic$9KW:K 610 $aPropositional logics$9KW:K 610 $aSequent Calculus$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aIndrzejczak$bAndrzej$3VANV226906$01221265 712 $aBirkhäuser $3VANV108193$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250801$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-030-57145-0$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00274475 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 8099 $e08eMF8099 20240412 996 $aSequents and trees$92831965 997 $aUNICAMPANIA