1990 - Models for Smooth Infinitesimal Analysis (Hardcover) → Hardcover ISBN-13: 9780387974897 ISBN-10: 038797489X ? First Order Categorical Logic Modeltheoretical Methods in the Theory of Topoi and Related Categories [Lecture notes in mathematics ; 611] (Paperback) ISBN-13: 9780387084398 ISBN-10: 0387084398 Genre: Science & Math ? Models for Smooth Infinitesimal Analysis (Hardcover) → Hardcover ISBN-13: 9783540974895 ISBN-10: 354097489X Genre: Science & Math ? |