Topoi — the Categorical Analysis of Logic, volume 98 (1979)

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