01096nam0-22003371i-450-99000705940040332120051123133013.03-7749-2888-6000705940FED01000705940(Aleph)000705940FED0100070594020020308d1999----km-y0itay50------bagerDEa-------001yy<<Die >>Inschriften von Pergehrsg. von Sencer SahinBonnHabelt1999Teil 1. XXIV, 319 p.ill., 58 p. di tav.30 cmInschriften Griechischer Stadte aus KleinasienBd. 54In testa al front.: Osterreichische Akademie der Wissenschaften, Nordrhein-Westfälische Akademie der WissenschaftenTeil 1.: Vorromische Zeit, frühe und hohe Kaiserzeit-20itSahin,SencerITUNINARICAUNIMARCBK990007059400403321Direz. S-0934628 ddrDDR21-1898DDRInschriften von Perge707882UNINA01986nam2 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