F. Bellissima, Abstract, The Journal of Symbolic Logic, vol.19, issue.01, pp.152-165, 1986.
DOI : 10.2307/1969038

[. Bezhanishvili, M. Gehrke, R. Mines, and P. J. Morandi, Profinite Completions and Canonical Extensions of Heyting Algebras, Order, vol.2, issue.4, pp.143-161, 2006.
DOI : 10.1007/s11083-006-9037-x

[. Blackburn, Maarten de Rijke, Yde Venema Modal logic, 2001.

G. Bezhanishvili and N. Bezhanishvili, Profinite Heyting Algebras, Order, vol.24, issue.3, pp.211-223, 2008.
DOI : 10.1007/s11083-008-9089-1

M. Luckdarnì-ere and . Junker, Codimension and pseudometric in (dual) Heyting algebras, 2008.

[. Fitting, Intuitionistic logic model theory and forcing, 1969.

S. Ghilardi, Free Heyting algebras as bi-Heyting algebras, Marek Zawadowski, Model completions and r-Heyting categories, pp.240-244, 1992.

[. Grigolia, Free and projective Heyting and monadic Heyting algebras , pp. 33?52 in Non-classical Logics and their applications to fuzzy subsets, 1995.

I. Pawe, Elementary theory of free Heyting algebras, Rep. Math. Logic, vol.23, pp.71-73, 1989.

J. Mckinsey and A. Tarski, On Closed Elements in Closure Algebras, The Annals of Mathematics, vol.47, issue.1, pp.122-162, 1946.
DOI : 10.2307/1969038

A. Pitts, Abstract, The Journal of Symbolic Logic, vol.52, issue.01, pp.33-52, 1992.
DOI : 10.1016/0022-4049(83)90104-4

]. V. Ry and . Rybakov, The elementary theories of free topo-Boolean and pseudo- Boolean algebras, Mat. Zametki, vol.37, issue.6, pp.797-802, 1985.

M. H. Stone, Topological representations of Distributive Lattices and Brouwerian Logics, ? Casopis pro?pestovánípro? pro?pestovánpro?pestování matematikyv a fysiky, pp.1-25, 1937.

]. A. Ur and . Urquhart, Free Heyting Algebras, Algebra Univ, pp.94-97, 1973.