You are currently browsing the monthly archive for June 1991.

Moerdijk I. and G. E. Reyes (1991). Models for Smooth Infinitesimal Analysis.
New York: Springer-Verlag.

MAT 2061 (Logique I), notes rédigées par F. Magnan en collaboration avec G. E . Reyes (1991).
Notes disponibles au secrétariat du département de mathématiques de l’Université de
Montréal. Texte de 85 pages.

G. E. Reyes (1991). A topos-theoretic Approach to Reference and Modality. Notre
Dame Journal of Formal Logic. Volume 32, Number 3, 359-391.

G. E. Reyes and H. Zolfaghari (1991). Topos-theoretic approaches to modality.
LNM Springer-Verlag 1488. 359-378.