01804nam0 22004213i 450 VAN0027447520250729124504.999N978303057145020240405d2021 |0itac50 baengCH|||| |||||Sequents and TreesAn Introduction to the Theory and Applications of Propositional Sequent CalculiAndrzej IndrzejczakChamBirkhäuserSpringer2021xvi, 345 p.ill.24 cm001VAN001039512001 Studies in Universal Logic210 Basel [etc.]Birkhäuser2008-03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B70Logic in computer science [MSC 2020]VANC024541MFCut-EliminationKW:KDecidabilityKW:KHypersequent calculusKW:KInterpolationsKW:KModal logicsKW:KNon-classical logicKW:KPropositional logicsKW:KSequent CalculusKW:KCHChamVANL001889IndrzejczakAndrzejVANV2269061221265Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20250801RICAhttps://doi.org/10.1007/978-3-030-57145-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00274475BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 8099 08eMF8099 20240412 Sequents and trees2831965UNICAMPANIA