Toposes, algebraic geometry and logic - Lawvere, F. William (Lecture Notes in Mathematics, 274, 1972)