02196nam0 22005413i 450 VAN027676420240604120538.237N978303114887320240604d2022 |0itac50 baengCH|||| |||||Universal Algebraic LogicDedicated to the Unity of ScienceHajnal Andréka ... [et al.]ChamBirkhäuserSpringer2022xv, 327 p.ill.24 cm001VAN01039512001 Studies in Universal Logic210 Basel [etc.]BirkhäuserAbstract Model TheoryKW:KAbstract algebraic logicKW:KAmalgamationKW:KCategory-Theoretic Properties of Classes of AlgebrasKW:KCylindric AlgebraKW:KDefinability TheoryKW:KDuality TheoriesKW:KFinite Variable Fragment of First Order LogicKW:KFirst Order Logic With Nonstandard SemanticsKW:KFirst-order logicKW:KInterpolationKW:KLogicKW:KRelation AlgebraKW:KSentential LogicsKW:KSubstitution PropertiesKW:KSurjectivity of EpimorphismsKW:KTarskian Algebraic LogicKW:KUniversal algebraKW:KWeak Beth Definability PropertyKW:KinstitutionsKW:KCHChamVANL001889AndrékaHajnalVANV040514Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/978-3-031-14887-3E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0276764BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-Book 8635 08eMF8635 20240605 Universal Algebraic Logic4161036UNICAMPANIA