Cover title.
An introduction to fibrations, topos theory, the effective topos and modest sets by Wesley Phoa. Published by LFCS, Dept. of Computer Science, University of Edinburgh in 1992. Publication and catalogue information, links to buy online and reader comments.