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 01203nam a2200301 i 4500 001 991003277259707536 007 cr cn||||||||| 008 080616s2002 caua sb 001 0 eng d 020 $a9780123392510 020 $a0123392519 035 $ab13659534-39ule_inst 040 $aDip.to Matematica$beng 082 04$a512.74$222 100 1 $aHellegouarch, Yves$0627638 245 10$aInvitation to the mathematics of Fermat-Wiles$h[e-book] /$cYves Hellegouarch 260 $aSan Diego :$bAcademic Press,$cc2002 300 $axi, 381 p. :$bill. ;$c25 cm 504 $aIncludes bibliographical references and index 650 0$aFermat's last theorem 650 0$aCurves, Elliptic 650 0$aForms, Modular 856 40$3ScienceDirect$uhttp://www.sciencedirect.com/science/book/9780123392510$zAn electronic book accessible through the World Wide Web; click for information 856 42$zPublisher description$uhttp://catdir.loc.gov/catdir/description/els031/2001089851.html 907 $a.b13659534$b03-03-22$c29-01-08 912 $a991003277259707536 996 $aInvitation to the mathematics of Fermat-Wiles$91213947 997 $aUNISALENTO 998 $ale013$b29-01-08$cm$d@ $e-$feng$gcau$h0$i0