Heyting Algebras Duality Theory /: Duality Theory. (2019)