Continuity and effectiveness in topoi. D.phil thesis (1986)

by G Rosolini