Topoi: the categorical analysis of logic (1984)

by R Goldblatt