An introduction to topos theory, the eective topos and modest sets (1992)

by W Phoa