LEADER 01505nam2 2200337 i 450 
001 SUN0123441
005 20191002121132.217
010   $d0.00
017 70$2N$a978-3-319-65235-1
100   $a20190920d2017       |0engc50      ba
101   $aeng
102   $aCH
105   $a||||    |||||
200 1 $aVol$h1: *Introduction to Relation Algebras$fSteven Givant
205   $aCham : Springer, 2017
210   $axxxii$d572 p.$cill. ; 24 cm
215   $aPubblicazione in formato elettronico
461  1$1001SUN0123807$12001 $a*Relation Algebras$fSteven Givant$v1$1210  $aCham$cSpringer$d2017$1215  $avoll. $cill.$d24 cm.
606   $a03C05$xEquational classes, universal algebra in model theory [MSC 2020]$2MF$3SUNC022423
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-65235-1
912   $aSUN0123441
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS      e-book                  0730        $e08eMF730               20190920            
996   $aVol$91562191
997   $aUNICAMPANIA