Heyting Algebras - Leo Esakia, Guram Bezhanishvili, Wesley H. Holliday (Springer, 2019)