TY - BOOK AU - Craig William TI - Semigroups underlying first-order logic SN - 978-0-8218-4149-5 U1 - 510 PY - 2006/// CY - Providence PB - AMS KW - Algebraic logic KW - First-order logic KW - Semigroups ER -