Duality and definability in first order logic - Makkai, Michael, 1939- (American Mathematical Society, 1993)