On the free implicative semilattice extension of a Hilbert algebra

From MaRDI portal
Publication:2888632