Moerdijk I. and G. E. Reyes (1991). Models for Smooth Infinitesimal Analysis.
New York: Springer-Verlag.
From mathematics to literature. – Des mathématiques à la littérature.
Moerdijk I. and G. E. Reyes (1991). Models for Smooth Infinitesimal Analysis.
New York: Springer-Verlag.