Topoi: The Categorial Analysis of Logic, North-Holland (1979)

by R Goldblatt