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

by Marta Bunge
Venue:Math. Proc. Cambridge Philos. Soc