Heyting Algebras - Esakia (Springer International Publishing, 2019)