You are currently browsing the category archive for the ‘Categorical logic’ category.
Makkai M. and G. E. Reyes (1977). First-order categorical logic. LNM 611.
Berlin: Springer-Verlag.
Kock A. and G. E. Reyes (1977). Doctrines in categorical logic. In J. Barwise (ed.).
Handbook of Math. Logic, 283-313.
G. E. Reyes (1977). Sheaves and concepts: a model-theoretic interpretation of
Grothendieck topoi. Cahiers de Top. et Geom. diff. Vol XVIII, 2, 105-137.
Makkai M. and G. E. Reyes (1976). Model-theoretic methods in the theory of topos
and related categories II. Bull. Acad. Polon. Sciences, 385-392.
Makkai M. and G. E. Reyes (1976). Model-theoretic methods in the theory of topos
and related categories I. Bull. Acad. Polon. Sciences, 379-384.
G. E. Reyes (1974). From sheaves to logic. In A. Daigneault (ed.). Studies in
Algebraic Logic. MAA Studies in Mathematics. The Mathematical Association of
America.
Gonzalo E. Reyes - Marie La Palme Reyes 