Free Heyting algebras as bi-Heyting algebras (1992)

by Silvio Ghilardi
Venue:Math. Rep. Acad. Sci. Canada XVI