Editing Heyting algebra (section)

==References==
* {{cite book | first = Daniel Edwin | last = Rutherford | year = 1965 | title = Introduction to Lattice Theory | publisher = Oliver and Boyd | oclc = 224572 }}
* F. Borceux, ''Handbook of Categorical Algebra 3'', In ''Encyclopedia of Mathematics and its Applications'', Vol. 53, Cambridge University Press, 1994. {{ISBN|0-521-44180-3}} {{OCLC|52238554}}
* G. Gierz, K.H. Hoffmann, K. Keimel, J. D. Lawson, M. Mislove and [[Dana Scott|D. S. Scott]], ''Continuous Lattices and Domains'', In ''Encyclopedia of Mathematics and its Applications'', Vol. 93, Cambridge University Press, 2003.
* S. Ghilardi. ''Free Heyting algebras as bi-Heyting algebras'', Math. Rep. Acad. Sci. Canada XVI., 6:240–244, 1992.
*{{citation|last=Heyting|first= A.
|title=Die formalen Regeln der intuitionistischen Logik. I, II, III|jfm= 56.0823.01
|journal=Sitzungsberichte Akad. Berlin |year=1930|pages= 42–56, 57–71, 158–169 }}
* {{cite book | vauthors=((Mac Lane, S.)), ((Moerdijk, I.)) | date= 1994 | title=Sheaves in Geometry and Logic | series= Universitext | publisher=Springer New York | url=http://dx.doi.org/10.1007/978-1-4612-0927-0 | doi=10.1007/978-1-4612-0927-0| isbn= 978-0-387-97710-2 }}
* {{cite book | last1=Dickmann | first1=Max | last2=Schwartz | first2= Niels | last3=Tressl | first3= Marcus | title=Spectral Spaces| doi=10.1017/9781316543870 | year=2019 | publisher=[[Cambridge University Press]] | series=New Mathematical Monographs | volume=35 | location=Cambridge | isbn=9781107146723 | s2cid=201542298 }}