On finitely based consequence operations (Q1245930)

From MaRDI portal