Publisher
Springer International Publishing
Reference5 articles.
1. B. Banaschewski, C.J. Mulvey, The spectral theory of commutative C*-algebras: the constructive Gelfand-Mazur theorem. Quaest. Math. 23(4), 465–488 (2000)
2. B. Banaschewski, C.J. Mulvey, A globalisation of the Gelfand duality theorem. Ann. Pure Appl. Logic 137, 62–103 (2006)
3. P.T. Johnstone, Sketches of an Elephant A Topos Theory Compendium I, II (Oxford Science Publications, Oxford, 2002)
4. S. MacLane, I. Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Springer, London, 1968)
5. S.A.M. Wolters, Quantum Toposophy UB Nijmegen [host] (2013)