Topoi: the Categorial Analysis of Logic, North–Holland (1984)

by R Goldblatt