LEADER 01489nam2 2200337 i 450 
001 SUN0123808
005 20200416092739.793
010   $d0.00
017 70$2N$a9783319659459
100   $a20191002d2017       |0engc50      ba
101   $aeng
102   $aCH
105   $a||||    |||||
200 1 $a2: *Advanced Topics in Relation Algebras$fSteven Givant
205   $aCham : Springer, 2017
210   $aXIX$d605 p.$cill. ; 24 cm
215   $aPubblicazione in formato elettronico
461  1$1001SUN0123807$12001 $a*Relation Algebras$fSteven Givant$v2$1210  $aCham$cSpringer$d2017$1215  $avoll. $cill.$d24 cm.
606   $a03Cxx$xModel theory [MSC 2020]$2MF$3SUNC024387
606   $a03G15$xCylindric and polyadic algebras; relation algebras [MSC 2020]$2MF$3SUNC024503
606   $a03B20$xSubsystems of classical logic (including intuitionistic logic) [MSC 2020]$2MF$3SUNC033870
606   $a03B35$xMechanization of proofs and logical operations [MSC 2020]$2MF$3SUNC033871
620   $aCH$dCham$3SUNL001889
700  1$aGivant$b, Steven R.$3SUNV040154$059680
712   $aSpringer$3SUNV000178$4650
801   $aIT$bSOL$c20210503$gRICA
856 4 $uhttp://doi.org/10.1007/978-3-319-65945-9
912   $aSUN0123808
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS      e-book                  0524        $e08eMF524               20191002            
996   $aAdvanced Topics in Relation Algebras$91734882
997   $aUNICAMPANIA