Topoi, the Categorical Analysis of Logic (1984)

by Robert Goldblatt