Chakrabarti, S. K., R. N. Yadav, and S. R. Pathak. “On Heyting Algebra”. International Journal For Research In Mathematics And Statistics, vol. 6, no. 5, May 2020, pp. 01-05, doi:10.53555/ms.v6i5.1314.