Moerdijk I. and G. E. Reyes (1991). Models for Smooth Infinitesimal Analysis.
New York: Springer-Verlag.
« Math 2061 (Logique I) • Proper Names and How they are learned »
Gonzalo E. Reyes - Marie La Palme Reyes
From mathematics to literature. - Des mathématiques à la littérature.
« Math 2061 (Logique I) • Proper Names and How they are learned »
Moerdijk I. and G. E. Reyes (1991). Models for Smooth Infinitesimal Analysis.
New York: Springer-Verlag.