Sheaves and concepts : a model-theoretic interpretation of Grothendieck topoi
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 18 (1977) no. 2, p. 105-137 
@article{CTGDC_1977__18_2_105_0,
     author = {Reyes, Gonzalo E.},
     title = {Sheaves and concepts : a model-theoretic interpretation of Grothendieck topoi},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {18},
     number = {2},
     year = {1977},
     pages = {105-137},
     zbl = {0396.18002},
     mrnumber = {485337},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1977__18_2_105_0}
}

Reyes, Gonzalo E. Sheaves and concepts : a model-theoretic interpretation of Grothendieck topoi. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 18 (1977) no. 2, pp. 105-137. http://www.numdam.org/item/CTGDC_1977__18_2_105_0/

A.W. Antonius, Théories cohérentes et prétopos, Thèse de Maitrise, Univ. de Montréal, 1975.

Ba M. BARR, Toposes without points, J. Pure and Applied Algebra 5 (1974), 265. | MR 409602 | Zbl 0294.18009

BW J. Barwise, Admissible sets, North Holland, 1976.

Be J. Benabou, Structures syntaxiques, Notes written by R. Ouellet, 1973.

Bo A. Boileau, Types vs topos, mimeog., Univ. de Montréal, 1975.

CK C.C. Chang and H.J. Keisler, Model Theory, North Holland, 1973. | Zbl 0697.03022

D J. Dionne, Des théories élémentaires aux catégories conceptuelles, Thèse de Maitrise, Univ. de Montréal, 1973.

F S. Feferman, Lectures on proof theory, Lecture Notes in Math. 70, Springer (1967). | MR 235996 | Zbl 0248.02033

GU P. Gabriel and F. Ulmer, Lokal prasentierbare Kategorien, Lecture Notes in Math. 221, Springer (1971). | MR 327863 | Zbl 0225.18004

GD A. Grothendieck and J. Dieudonne, Eléments de Géométrie Algébrique, Inst. H. E. S., Bures sur Yvette, 4, 8, 17, 20, 24, 28, 32 (1960 à 1967). | Numdam

HA M. Hakim, Topos annelés et Schémas relatifs, Springer, 1972. | MR 364245 | Zbl 0246.14004

Hi D. Higgs, A category approach to boolean-valued Set Theory, to appear.

KH.J. Keisler, Theory of models with generalized atomic formulas, J. Symbolic Logic 25 (1960), 1-26. | MR 130169 | Zbl 0107.00803

L F.W. Lawvere, Continuously variable sets: Algebraic Geometry =Geometric Logic, Proc. of the Logic Coll., Bristol, 1973. | Zbl 0364.18002

MR M. Makkai and G.E. Reyes, Model theoretic methods in the theory of topoi and related categories I, II, Bull. Acad. Pol. des Sciences 24 (1976), 379-392. | MR 422016 | Zbl 0337.18005

M R. Mansfield, The completeness theorem for infinitary Logic, J. Symbolic Logic 37 (1972), 31-34. | MR 398773 | Zbl 0244.02005

RS H. Rasiowa and R. Sikorski, The mathematics of metamathematics, PAN, Warsaw, 1963. | MR 163850 | Zbl 0122.24311

R G.E. Reyes, From sheaves to logic, Studies in Algebraic Logic, MMA Series 9 (1975). | MR 360735 | Zbl 0344.02042

Ro M. ROBITAILLE-GIGUERE, Modèles d'une catégorie logique dans un topos de préfaisceaux et d'ensembles de Heyting, Thèse de Maitrise, Université de Montréal, 1975.

SGA4 M. Artin, A. Grothendieck and J.L. Verdier, Théorie des topos et co-homologie étale des schémas, Lecture Notes in Math. 269 and 270, Springer (1972). | MR 354653

Co1 M. Coste, Logique d'ordre supérieur dans les topos élémentaires, Séminaire Bénabou, Paris (1974).

Co2 M.F. Coste and M. Coste, Théories cohérentes et topos cohérents, Séminaire Bénabou, Paris (1975).

Fo M. Fourman, Connections between category theory and logic, Doctoral Dissertation, Oxford, 1974.

Ko A. KOCK, Universal projective geometry via topos theory, J. Pure and Applied Algebra 9 (1976), 1- 24. | MR 430955 | Zbl 0375.02016

L 1 F.W. Lawvere, Theories as categories and the completeness theorem, J. Symbolic Logic 32 (1967), 562.

V H. Volger, Completeness of logical categories, Lecture Notes in Math. 445, Springer (1975).