Continuity and Effectivity in Topoi (1986)

by G Rosolini