Toposes, algebraic geometry and logic - Bucur, Ionel, 1930-1976; Lawvere, F. W (Springer-Verlag, 1972)