Model theory and topoi a collection of lectures by various authors / edited by F.W. Lawvere, C. Maurer, G.C. Wraith. - Lawvere, F. W.; Maurer, Christian, 1945-; Wraith, Gavin C., 1939- (Lecture notes in mathematics (Springer-Verlag) ;, 1975)