Isomorphism Universal Varieties of Heyting Algebras

From MaRDI portal
Publication:3484890