References
G. Grätzer,Lattice theory. First concepts and distributive lattices. (W. H. Freeman, San Francisco 1971).
S. Kripke, Semantical analysis of intuitionistic logic I.Formal systems and recursive functions. (North Holland, Amsterdam, 1965).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Urquhart, A. Free Heyting algebras. Algebra Univ. 3, 94–97 (1973). https://doi.org/10.1007/BF02945107
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02945107