Some applications of second-order logic language in universal algebra

From MaRDI portal
Publication:905600