1. Axiom of choice and complementation
2. Topoi: The Categorial Analysis of Logic. Studies in Logic and the Foundations of Mathematics, vol. 98 (North-Holland, Amsterdam 1979).
3. Choice Implies Excluded Middle
4. Topos Theory. L. M. S. Monographs 10 (Academic Press, London 1977).