LEADER 01556nam0-22003851i-450- 001 990001659680403321 005 20110216192808.0 035 $a000165968 035 $aFED01000165968 035 $a(Aleph)000165968FED01 035 $a000165968 100 $a20030910d1709----km-y0itay50------ba 101 0 $alat 102 $aNL 105 $ay-------001yy 200 1 $aApicii Coelii De opsoniis et condimentis, sive Arte coquinaria, libri decem. Cum annotationibus Martini Lister ... et notis selectioribus, variisque lectionibus integris, Humelbergii, Barthii, Reinesii, A. Van der Linden, & Aliorum, ut & variarum lectionum libello 205 $aEditio secunda ... 210 $aAmstelodami$capud Janssonio-Waesbergios$d1709 215 $a[36], 277, [43] p.$d17 cm 610 0 $aGastronomia 610 0 $aLibri rari$a1700 676 $a094.2 676 $a641 700 1$aApicius,$bCoelius$071574 702 1$aBarth,$bKaspar von$f<1587-1658> 702 1$aHummelberg,$bGabriel$f<1544m.> 702 1$aLister,$bMartin$f 702 1$aReinesius,$bThomas$f<1587-1667> 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aAQ 912 $a990001659680403321 952 $a60 094.2 C 102$b345$fFAGBC 959 $aFAGBC 996 $aApicii Coelii De opsoniis et condimentis, sive Arte coquinaria, libri decem. Cum annotationibus Martini Lister ... et notis selectioribus, variisque lectionibus integris, Humelbergii, Barthii, Reinesii, A. Van der Linden, & Aliorum, ut & variarum lectionum libello$9372743 997 $aUNINA LEADER 01794nam0 22004213i 450 001 VAN0274475 005 20240508031748.480 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$1001VAN0103951$12001 $aStudies in Universal Logic$1210 $aBasel [etc.]$cBirkhäuser 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 $aInterpolation$9KW:K 610 $aModal logics$9KW:K 610 $aNon-classical logics$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$c20240614$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 $aVAN0274475 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 8099 $e08eMF8099 20240412 996 $aSequents and trees$92831965 997 $aUNICAMPANIA LEADER 01249nam0 22002893i 450 001 VAN00258287 005 20240806101453.703 010 $a979-12-8063-322-4 100 $a20230512d2023 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆL' ‰archivio dell'educandato statale di Napoli$fa cura di Gabriele Capone e Marianna Pignata 210 $aCapua$cArtetetra$d2023 215 $a159 p.$d22 cm 300 $aIl volume è stato pubblicato grazie al contributo del Dipartimento di Giurisprudenza dell'Università degli studi della Campania Luigi Vanvitelli 410 1$1001VAN00120759$12001 $aArcasacra$1210 $aCapua$cArtetetra.$v10 620 $dCapua$3VANL000705 702 1$aCapone$bGabriele$3VANV022159$4340 702 1$aPignata$bMarianna$3VANV069748$4340 712 $aArtetetra $3VANV114971$4650 801 $aIT$bSOL$c20250321$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$1IT-CE0105$2VAN00 912 $aVAN00258287 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS XXIV.Ec.116 $e00UBG258287 20230512 996 $aArchivio dell'educandato statale di Napoli$93221388 997 $aUNICAMPANIA