You are currently browsing the monthly archive for June 1981.

G. E. Reyes (1981). Analyse dans les topos lisses. Third Colloquium on Categories, Part III (amiens, 1980, France). Cahiers de top. et geom. diff 22,

G. E. Reyes (1981). Géométrie différentielle synthétique. Gazette des Sci. Math. du Québec 5, 6-19.

G. E. Reyes (1981). Logic and category theory. In Agazzi E. (ed.). Modern Logic – A survey. Dordrecht: D. Reidel Publishing Company, 235-252.

Kock A. and G. E. Reyes (1981). Models for synthetic integration theory. Math.
Scand. 48, 145-152.

Bunge M. and G. E. Reyes (1981). Boolean spectra and model completions. Fund.
Math. 113, 165-173.