First order categorial logic: model-theoretical methods in theory of topoi and related categories - Makkai, Michael; Reyes, Gonzalo E (Lecture Notes in Mathematics, 611, 1977)