Kock A. and G. E. Reyes (1977). Doctrines in categorical logic. In J. Barwise (ed.).
Handbook of Math. Logic, 283-313.
« Sheaves and concepts: a model-theoretic interpretation of Grothendieck topoi • First-order categorical logic »
Gonzalo E. Reyes - Marie La Palme Reyes
From mathematics to literature. - Des mathématiques à la littérature.
« Sheaves and concepts: a model-theoretic interpretation of Grothendieck topoi • First-order categorical logic »
Kock A. and G. E. Reyes (1977). Doctrines in categorical logic. In J. Barwise (ed.).
Handbook of Math. Logic, 283-313.