01986nam2 2200421 i 450 VAN0012380820240806100814.649N978331965945920191002d2017 |0itac50 baengCH|||| |||||ˆ2: ‰Advanced Topics in Relation AlgebrasSteven GivantChamSpringer2017XIX, 605 p.ill.24 cm001VAN001238072001 Relation AlgebrasSteven Givant210 ChamSpringer2017215 voll. ill.24 cm2VAN00235347Relation Algebras. 2, Advanced Topics in Relation Algebras249390603B20Subsystems of classical logic (including intuitionistic logic) [MSC 2020]VANC033870MF03B35Mechanization of proofs and logical operations [MSC 2020]VANC033871MF03CxxModel theory [MSC 2020]VANC024387MF03G15Cylindric and polyadic algebras; relation algebras [MSC 2020]VANC024503MFAtom structuresKW:KCanonical extensionsKW:KCompletion extensionsKW:KRelation algebrasKW:KRepresentationsKW:KVarieties of relation algebrasKW:KCHChamVANL001889GivantSteven R.VANV04015459680Springer <editore>VANV108073650ITSOL20250606RICAhttp://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-CE0120VAN08NVAN00123808BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 0524 08eMF524 20191002 Relation Algebras. 2, Advanced Topics in Relation Algebras2493906UNICAMPANIA