Semigroups underlying first-order logic

From MaRDI portal
Publication:3413165