Toposes, algebraic geometry and logic - Lawvere, F. W. (Springer, 1964)