01794nam0 22004213i 450 VAN027447520240508031748.480N978303057145020240405d2021 |0itac50 baengCH|||| |||||Sequents and TreesAn Introduction to the Theory and Applications of Propositional Sequent CalculiAndrzej IndrzejczakChamBirkhäuserSpringer2021xvi, 345 p.ill.24 cm001VAN01039512001 Studies in Universal Logic210 Basel [etc.]Birkhäuser03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B70Logic in computer science [MSC 2020]VANC024541MFCut-EliminationKW:KDecidabilityKW:KHypersequent calculusKW:KInterpolationKW:KModal logicsKW:KNon-classical logicsKW:KPropositional logicsKW:KSequent CalculusKW:KCHChamVANL001889IndrzejczakAndrzejVANV2269061221265Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20240614RICAhttps://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-CE0120VAN08NVAN0274475BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 8099 08eMF8099 20240412 Sequents and trees2831965UNICAMPANIA