Algebraic set theory / - Joyal, André. (Cambridge University Press,, 1995)