Sheaves in Geometry and Logic: A First Introduction to Topos Theory by Saunders
90,73 €
Categorial Preliminaries. - I. Categories of Functors. The Categories at Issue. Characteristic Functions of Subobjects. Typical Subobject Classifiers. Propositional Calculus. Heyting Algebras.
Jetzt bei Ebay: