01181nam0 22002891i 450 UON0012941120231205102749.93018-992941-4-720020107d2000 |0itac50 baengGB|||| 1||||Perceptions of lay healers in late imperial Chinaby Daria BergDurhamUniversity of Durham, Department of East Asian Studies200039 p.21 cm001UON001294482001 Durham East Asian Papers15LETTERATURA CINESESAGGIUONC030694FIGBDurhamUONL005287EO SERIEESTREMO ORIENTE - SERIEABERGDariaUONV079619668198University of Durham, Department of East Asian StudiesUONV262634650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00129411SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI EO SERIE 1 15 SI SA 98216 5 15 Perceptions of lay healers in late imperial China1319270UNIOR02166nam0 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