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.
« A topos-theoretic Approach to reference and Modality • Models for Smooth Infinitesimal Analysis »