First Order Categorical Logic Model-Theoretical Methods in the Theory of Topoi and Related Categories - Makkai, Michael; Reyes, Gonzalo E. 1937- (Springer, 1977)