1. Theorie der Logischen Auswahlfunktionen
2. Toposes and Local Set Theories: An Introduction. Oxford University Press, Oxford 1988.
3. Hilbert's ?-operator and classical logic
4. Topos Theory. Academic Press, New York 1977.
5. On the sheaf of possible worlds. In: Categorical Topology and its Relation to Analysis, Algebra and Combinatorics ( and , eds.), World Scientific, Teaneck, N.J., 1989, pp. 36–53.