Free Heyting algebras as bi-Heyting algebras
C. R. Math. Rep. Acad. Sci. Canada Vol. 14 (6) 1992, pp. 240–244
December 1, 1992
A. Ghilardi
Abstract/Résumé:
Keywords:
AMS Subject Classification:
PDF(click to download):
Free Heyting algebras as bi-Heyting algebras
AMS Subject Classification:
[This journal is open access except for the current year and the preceding 5 years]