LEADER 01982nam2 2200421 i 450 001 VAN0123808 005 20211129104140.724 017 70$2N$a9783319659459 100 $a20191002d2017 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aˆ2: ‰Advanced Topics in Relation Algebras$fSteven Givant 210 $aCham$cSpringer$d2017 215 $aXIX, 605 p.$cill.$d24 cm 461 1$1001VAN0123807$12001 $aRelation Algebras$fSteven Givant$1210 $aCham$cSpringer$d2017$1215 $avoll. $cill.$d24 cm$v2 500 1$3VAN0235347$aRelation Algebras. 2, Advanced Topics in Relation Algebras$92493906 606 $a03Cxx$xModel theory [MSC 2020]$3VANC024387$2MF 606 $a03G15$xCylindric and polyadic algebras; relation algebras [MSC 2020]$3VANC024503$2MF 606 $a03B20$xSubsystems of classical logic (including intuitionistic logic) [MSC 2020]$3VANC033870$2MF 606 $a03B35$xMechanization of proofs and logical operations [MSC 2020]$3VANC033871$2MF 610 $aAtom structures$9KW:K 610 $aCanonical extensions$9KW:K 610 $aCompletion extensions$9KW:K 610 $aRelation algebras$9KW:K 610 $aRepresentations$9KW:K 610 $aVarieties of relation algebras$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aGivant$bSteven R.$3VANV040154$059680 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-319-65945-9$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 $aVAN0123808 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 0524 $e08eMF524 20191002 996 $aRelation Algebras. 2, Advanced Topics in Relation Algebras$92493906 997 $aUNICAMPANIA