Before revision: Notes Bibliography (Two volumes, Oxford Logic Guides 43 & 44, 3rd volume in preparation) Maclane Moerdijk, 1992.
After revision: Notes Bibliography (Two volumes, Oxford Logic Guides 43 & 44, 3rd volume in preparation) Moerdijk, 1992.