Congruences in closed classes in a k-valued logic, defined by predicates

From MaRDI portal
Publication:1078552