Algebraic set theory (1995)

by A Joyal, I Moerdijk
Venue:London Mathematical Society, Lecture Note Series 220