Model theory and topoi : a collection of lectures by various authors - Lawvere, F. W; Maurer, Christian 1945-; Wraith, Gavin C. 1939- (Springer-Verlag, 1975)