Chakrabarti, S. K.; Yadav, R. N.; Pathak, S. R. On Heyting Algebra. IJRMS 2020, 6, 01-05.