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