TOPOI: The Categorial Analysis of Logic: Studies in logic and the foundations of mathematics (1983)

by Robert Goldblatt