You are currently browsing the monthly archive for June 1977.

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.