TY - BOOK T1 - Models for Smooth Infinitesimal Analysis UR - https://doi.org/10.1007/978-1-4757-4143-8 PY - 1991/01/01 AU - Moerdijk I AU - Reyes GE ED - DO - DOI: 10.1007/978-1-4757-4143-8 PB - Springer New York SN - 9781441930958 Y2 - 2025/10/10 ER -