Table of Contents

Chapter I. Boolean, Relation-Induced, and Other Operations for Dealing with First-Order Definability(28-51from Semigroups Underlying First-Order Logic)