Continuity and effectiveness in topoi (1986)

by G Rosolini