Free Shipping to all UK customers for orders over £25.00
Free Shipping to all UK customers for orders over £25.00
Free Shipping to all UK customers for orders over £25.00
By Andri Joyal , Ieke Moerdijk
Usually dispatched within 3 - 5 business days.
£ 68.40
Offers a new, algebraic, approach to set theory. The authors introduce a particular kind of algebra, the Zermelo-Fraenkel algebras, which arise from the familiar axioms of Zermelo-Fraenkel set theory. Furthermore the authors explicitly construct such algebras using the theory of bisimulations. Their approach is completely constructive, and contains both intuitionistic set theory and topos theory.