LEADER 02361nam2 2200481 i 450 001 VAN00123441 005 20240806100813.540 017 70$2N$a9783319652351 100 $a20190920d2017 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aˆVol. 1: ‰Introduction to Relation Algebras$fSteven Givant 210 $aCham$cSpringer$d2017 215 $axxxii, 572 p.$cill.$d24 cm 461 1$1001VAN00123807$12001 $aRelation Algebras$fSteven Givant$1210 $aCham$cSpringer$d2017$1215 $avoll. $cill.$d24 cm$v1 500 1$3VAN00235670$aRelation Algebras. 1, Introduction to Relation Algebras$92493901 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 606 $a03C05$xEquational classes, universal algebra in model theory [MSC 2020]$3VANC022423$2MF 606 $a03G15$xCylindric and polyadic algebras; relation algebras [MSC 2020]$3VANC024503$2MF 610 $aAlfred Tarski relation algebras$9KW:K 610 $aArithmetic of relation algebras$9KW:K 610 $aConstructing new relation algebras$9KW:K 610 $aElementary theory of binary relations$9KW:K 610 $aEquational language of relation algebras$9KW:K 610 $aHomomorphisms$9KW:K 610 $aRelation algebras$9KW:K 610 $aRelativizations of relation algebras$9KW:K 610 $aSpecial elements in relation algebras$9KW:K 610 $aSteven Givant relation algebras$9KW:K 610 $aSubalgebras of relation algebras$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aGivant$bSteven R.$3VANV040154$059680 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20241115$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-319-65235-1$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 $aVAN00123441 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 0730 $e08eMF730 20190920 996 $aRelation Algebras. 1, Introduction to Relation Algebras$92493901 997 $aUNICAMPANIA