Topoi, the categorical analysis of logic - Goldblatt, Robert (North-Holland Publishing Company, 1984)