Heyting algebras duality theory - Ėsakia, Leo Leonidovič 1934-2010 (Trends in logic, 2019)