Topoi : The Categorial Analysis of Logic. Volume 98 (1979)

by R Goldblatt
Venue:of Studies in Logic and the Foundations of Mathematics. North-Holland