1. Toposes and Local Set Theories;Bell,1988
2. Classifying topoi and finite forcing;Blass;J. Pure Appl. Algebra,1983
3. A Course in Universal Algebra;Burris,1981
4. The logic of topoi;Fourman,1977
5. Sheaf models of set theory;Fourman;J. Pure Appl. Algebra,1980