LEADER 01893nam0 22004213i 450 001 VAN0261800 005 20231031044544.668 017 70$2N$a9783540387909 100 $a20230721d1981 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aCylindric Set Algebras$eCylindric set algebras and related structures$fBy L. Henkin, J. D. Monk, and A. Tarski$cOn cylindric-relativized set algebras$fBy H. Andreka and I. Nemeti 210 $aBerlin$cSpringer$d1981 215 $avi, 323 p.$cill.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v883 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03G15$xCylindric and polyadic algebras; relation algebras [MSC 2020]$3VANC024503$2MF 606 $a03C55$xSet-theoretic model theory [MSC 2020]$3VANC029369$2MF 610 $aAlgebra$9KW:K 610 $aCylindrical Algebra$9KW:K 610 $aSet$9KW:K 620 $dBerlin$3VANL000066 702 1$aAndréka$bHajnal$3VANV040514 702 1$aHenkin$bLeon A.$3VANV216218 702 1$aMonk$bJames D.$3VANV044025 702 1$aNemeti$bIstvan$3VANV040515 702 1$aTarski$bAlfred$3VANV039337 712 $aSpringer $3VANV108073$4650 790 1$aMonk, James Donald$zMonk, James D.$3VANV081118 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0095612$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 $aVAN0261800 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 6351 $e08eMF6351 20230731 996 $aCylindric set algebras$983116 997 $aUNICAMPANIA LEADER 02200nam0 22005173i 450 001 VAN00274887 005 20250604042841.259 017 70$2N$a9783030856755 100 $a20240415d2021 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aLogic and Implication$eAn Introduction to the General Algebraic Study of Non-classical Logics$fPetr Cintula, Carles Noguera 210 $aCham$cSpringer$d2021 215 $axxii, 465 p.$cill.$d24 cm 410 1$1001VAN00103150$12001 $aTrends in logic$estudia logica library$1210 $aBerlin [etc.]$cSpringer$d1997-$v57 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF 610 $aAbstract algebraic logic$9KW:K 610 $aAlgebraic Logic$9KW:K 610 $aAlgebraic Semantics$9KW:K 610 $aCompleteness theorems$9KW:K 610 $aFirst-Order Predicate Logics$9KW:K 610 $aGeneralized Disjunctions$9KW:K 610 $aImplication and disjunction in logics$9KW:K 610 $aLogical Connectives$9KW:K 610 $aLogical Matrices$9KW:K 610 $aLogics and their algebraic semantics$9KW:K 610 $aNon-classical logic$9KW:K 610 $aPredicate logic$9KW:K 610 $aPropositional logic$9KW:K 610 $aSemilinear Logics$9KW:K 610 $aSubstructural Logics$9KW:K 610 $aWeakly Implicative Logics$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aCintula$bPetr$3VANV227339$01075331 701 1$aNoguera$bCarles$3VANV227340$01734778 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250606$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-030-85675-5$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 $aVAN00274887 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 8295 $e08eMF8295 20240430 996 $aLogic and Implication$94153303 997 $aUNICAMPANIA