Topoi, the categorial analysis of logic - Goldblatt, Robert (Studies in logic and the foundations of mathematics, 1979)