nLab
REF MakkaiReyes77

  • 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 05:33:19. See the history of this page for a list of all contributions to it.