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

LEADER 01823nam  22004453  450 
001 9910156549803321
005 20200520144314.0
010   $a9957-603-86-8
035   $a(CKB)3820000000019869
035   $a(EBL)3341384
035   $a(MiAaPQ)EBC3341384
035   $a(EXLCZ)993820000000019869
100   $a20130325d2011      my         |
101 0 $aara
135   $aur|n|---|||||
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 13$aal-Hikmah inda al-usuliyin /$fSŁabah TŁaha Bashir al-Samirrai
205   $6880-03$aal-TŁabah al-ula.
210  1$aBayrut :$cDar al-Kutub al-Ilmiyah,$d2011.
215   $a1 online resource (419 p.)
300   $aDescription based upon print version of record.
311   $a2-7451-6441-4 
320   $aIncludes bibliographical references (pages 381-411).
327   $a?????; ????? ????? /??????? ???????; ????? ?????? /??????? ???? ??????; ????? ?????? /????? ???????; ????? ??????/???? ????????? ?? ??????? ???????; ????? ??????/??????? ??? ??????? ???????(???????)????? ??????/ ??????? ??? ??????? ???????(???????); ???????; ???????
606   $aIslamic sects
606   $aCriminal law (Islamic law)
610   $aCRIME$aISLAMIC FUNDAMENTALISM$aPROVISIONS OF SHARIA$aISLAMIC GROUPS$aCAUSE AND EFFECT
615  0$aIslamic sects.
615  0$aCriminal law (Islamic law)
676   $a260
700   $aal-Samirrai$b SŁabah TŁaha Bashir
712 02$aAl Manhal FZLLC.
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910156549803321
997   $aUNINA