Vol. 274. Bucur, I.; Giraud, J.; Goodman, N. 
Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16-19, 1971 
QA169 T66