Michael Makkai and Gonzalo Reyes, First Order Categorical Logic: Model-theoretical methods in the theory of topoi and related categories, Lecture Notes in Math. 611, Springer-Verlag, 1977. re-written by Francisco Marmolejo in 2018 (web announcement, pdf)
Last revised on April 10, 2018 at 09:33:19.
See the history of this page for a list of all contributions to it.