Algebraic Set Theory - Joyal, Andri (Cambridge, 2002)
Keywords: Mathematics