Duality and Definability in First Order Logic

Presents duality theory for theories in first order logic in which the dual of a theory is the category of its models with suitable additional structure. This book shows attention to both organization and detail. It is suitable for mathematicians and philosophers who are interested in category theory.