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.
From mathematics to literature. – Des mathématiques à la littérature.
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.