Moerdijk I. Models for smooth infinitesimal analysis / I.Moerdijk,G.E.Reyes, 1991. - 399 p. - Текст : непосредственный.