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

by Marta Bunge