An application of descent to a classification theorem for toposes (1990)

by Marta Bunge
Venue:In Mathematical Proceedings of the Cambridge Philosophical Society