01505nam2 2200337 i 450 SUN012344120191002121132.2170.00N978-3-319-65235-120190920d2017 |0engc50 baengCH|||| |||||Vol1: *Introduction to Relation AlgebrasSteven GivantCham : Springer, 2017xxxii572 p.ill. ; 24 cmPubblicazione in formato elettronico001SUN01238072001 *Relation AlgebrasSteven Givant1210 ChamSpringer2017215 voll. ill.24 cm.03C05Equational classes, universal algebra in model theory [MSC 2020]MFSUNC02242303G15Cylindric 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-65235-1SUN0123441UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0730 08eMF730 20190920 Vol1562191UNICAMPANIA