Lawvere F. William. Introduction to part I. Model theory and topoi, A collection of lectures by various authors, edited by Lawvere F. W., Maurer C., and Wraith G. C., Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 3–14.Keane Orville. Abstract Horn theories. Model theory and topoi, A collection of lectures by various authors, edited by Lawvere F. W., Maurer C., and Wraith G. C., Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 15–50.Volger Hugo. Completeness theorem for logical categories. Model theory and topoi, A collection of lectures by various authors, edited by Lawvere F. W., Maurer C., and Wraith G. C., Lecture notes in mathematic