Semigroups underlying first-order logic - Craig, William, (Memoirs of the American Mathematical Society,)