LEADER 02292nam0 22005533i 450 001 VAN00276764 005 20250729124504.999 017 70$2N$a9783031148873 100 $a20240604d2022 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aUniversal Algebraic Logic$eDedicated to the Unity of Science$fHajnal Andréka ... [et al.] 210 $aCham$cBirkhäuser$cSpringer$d2022 215 $axv, 327 p.$cill.$d24 cm 410 1$1001VAN00103951$12001 $aStudies in Universal Logic$1210 $aBasel [etc.]$cBirkhäuser$d2008- 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 610 $aAbstract Model Theory$9KW:K 610 $aAbstract algebraic logic$9KW:K 610 $aAmalgamation$9KW:K 610 $aCategory-Theoretic Properties of Classes of Algebras$9KW:K 610 $aCylindric Algebra$9KW:K 610 $aDefinability Theory$9KW:K 610 $aDuality Theories$9KW:K 610 $aFinite Variable Fragment of First Order Logic$9KW:K 610 $aFirst Order Logic With Nonstandard Semantics$9KW:K 610 $aFirst-order logic$9KW:K 610 $aInterpolations$9KW:K 610 $aLogic$9KW:K 610 $aRelation Algebra$9KW:K 610 $aSentential Logics$9KW:K 610 $aSubstitution Properties$9KW:K 610 $aSurjectivity of Epimorphisms$9KW:K 610 $aTarskian Algebraic Logic$9KW:K 610 $aUniversal algebra$9KW:K 610 $aWeak Beth Definability Property$9KW:K 610 $ainstitutions$9KW:K 620 $aCH$dCham$3VANL001889 702 1$aAndréka$bHajnal$3VANV040514 712 $aBirkhäuser $3VANV108193$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250801$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-031-14887-3$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00276764 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 8635 $e08eMF8635 20240605 996 $aUniversal Algebraic Logic$94161036 997 $aUNICAMPANIA