First order categorical logic : model-theoretical methods in the theory of topoi and related categories - Makkai, Michael 1939- (Springer, 1964)
En Lecture notes in mathematics. Berlin. v. 611 (1977)