Vol. 611. Makkai, Michael; Reyes, Gonzalo E. 
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories 
QA9.7 M35