Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971 / I. Bucur ... [et al.] ; edited by F.W. Lawvere. - Bucur, Ionel 1930-1976; Lawvere, F. W. (Lecture notes in mathematics (Springer-Verlag) ;, 1972)