TY - BOOK AU - Moerdijk,Ieke TI - Models for smooth infinitesimal analysis SN - 038797489X U1 - 515.33 MOE PY - 1991/// CY - New York PB - Springer N1 - Includes bibliographical references ER -