On the directly and subdirectly irreducible many-sorted algebras.

From MaRDI portal
Publication:2340238