01982nam2 2200421 i 450 VAN012380820211129104140.724N978331965945920191002d2017 |0itac50 baengCH|||| |||||ˆ2: ‰Advanced Topics in Relation AlgebrasSteven GivantChamSpringer2017XIX, 605 p.ill.24 cm001VAN01238072001 Relation AlgebrasSteven Givant210 ChamSpringer2017215 voll. ill.24 cm2VAN0235347Relation Algebras. 2, Advanced Topics in Relation Algebras249390603CxxModel theory [MSC 2020]VANC024387MF03G15Cylindric and polyadic algebras; relation algebras [MSC 2020]VANC024503MF03B20Subsystems of classical logic (including intuitionistic logic) [MSC 2020]VANC033870MF03B35Mechanization of proofs and logical operations [MSC 2020]VANC033871MFAtom structuresKW:KCanonical extensionsKW:KCompletion extensionsKW:KRelation algebrasKW:KRepresentationsKW:KVarieties of relation algebrasKW:KCHChamVANL001889GivantSteven R.VANV04015459680Springer <editore>VANV108073650ITSOL20240614RICAhttp://doi.org/10.1007/978-3-319-65945-9E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0123808BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0524 08eMF524 20191002 Relation Algebras. 2, Advanced Topics in Relation Algebras2493906UNICAMPANIA