First order categorical logic ; model-theoretical methods in the theory of Topoi and related categories - Makkai Michael; Reyes G E (Berlin Springer-Verlag, 1977)
Keywords: Categorical logic; Model tjeory; Toposes