Topoi : the categorial analysis of logic - Goldblatt, Robert (Dover, 1984)