Title: Semigroups underlying first-order logic
First published: 2006
Subjects: Semigroups, Algebraic logic, First-order logic
LC classification: QA3 .A57 no.866