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