01489nam2 2200337 i 450 SUN012380820200416092739.7930.00N978331965945920191002d2017 |0engc50 baengCH|||| |||||2: *Advanced Topics in Relation AlgebrasSteven GivantCham : Springer, 2017XIX605 p.ill. ; 24 cmPubblicazione in formato elettronico001SUN01238072001 *Relation AlgebrasSteven Givant2210 ChamSpringer2017215 voll. ill.24 cm.03CxxModel theory [MSC 2020]MFSUNC02438703G15Cylindric and polyadic algebras; relation algebras [MSC 2020]MFSUNC02450303B20Subsystems of classical logic (including intuitionistic logic) [MSC 2020]MFSUNC03387003B35Mechanization of proofs and logical operations [MSC 2020]MFSUNC033871CHChamSUNL001889Givant, Steven R.SUNV04015459680SpringerSUNV000178650ITSOL20210503RICAhttp://doi.org/10.1007/978-3-319-65945-9SUN0123808UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0524 08eMF524 20191002 Advanced Topics in Relation Algebras1734882UNICAMPANIA