02166nam0 22004573i 450 VAN0024897320240806101416.649N978303056554120220804d2020 |0itac50 baengCH|||| |||||Decidability of Logical Theories and Their CombinationJoão Rasga, Cristina SernadasChamBirkhäuserSpringer2020xiii, 178 p.ill.24 cm001VAN001039512001 Studies in Universal Logic210 Basel [etc.]Birkhäuser2008-VAN00248975Decidability of Logical Theories and Their Combination290246203-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B10Classical first-order logic [MSC 2020]VANC024530MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MFCombination of first-order logical theoriesKW:KCraig interpolationKW:KDecidability of first-order logical theoriesKW:KFirst-order logical theoriesKW:KGentzen CalculusKW:KGentzen calculus for first-order logicKW:KQuantifier eliminationKW:KQuantifier elimination first-order logicKW:KCHChamVANL001889RasgaJoãoVANV203767845263SernadasCristinaVANV2037681252008Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20241115RICAhttp://doi.org/10.1007/978-3-030-56554-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00248973BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 4614 08eMF4614 20220804 Decidability of Logical Theories and Their Combination2902462UNICAMPANIA