LEADER 02193nam0 22005173i 450 001 VAN00274887 005 20240806101541.24 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$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 logics$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$c20240906$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$d08CONS e-book 8295 $e08eMF8295 20240430 996 $aLogic and Implication$94153303 997 $aUNICAMPANIA