Heyting Algebras - Esakia; Bezhanishvili, Guram; Evseev, Anton; Holliday, Wesley H. (Springer International Publishing, 2019)