01975nam0 2200469 i 450 VAN0012690120240806100822.778N978303012096220200218d2019 |0itac50 baengCH|||| |||||Heyting AlgebrasDuality TheoryLeo EsakiaGuram Bezhanishvili, Wesley H. Holliday editorsChamSpringer2019xv, 95 p.24 cm001VAN001031502001 Trends in logicstudia logica library210 Berlin [etc.]Springer50VAN00236823Heyting Algebras173249506-XXOrder, lattices, ordered algebraic structures [MSC 2020]VANC019973MF06D20Heyting algebras (lattice-theoretic aspects) [MSC 2020]VANC035629MFClosure AlgebraKW:KEsakia DualityKW:KEsakia SpaceKW:KHeyting AlgebraKW:KIntermediate LogicsKW:KIntuitionistic LogicKW:KModal LogicKW:KSkeletal Closure AlgebrasKW:KStone SpaceKW:KStone Space and Kripke FrameKW:KCHChamVANL001889EsakiaLeoVANV098314781342BezhanishviliGuramVANV098315340HollidayWesley H.VANV098316340Springer <editore>VANV108073650ITSOL20240906RICAhttp://doi.org/10.1007/978-3-030-12096-2E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00126901BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 1603 08eMF1603 20200218 Heyting Algebras1732495UNICAMPANIA