Algebraic Set Theory, volume 220 of London Mathematical Society Lecture Note Series (1995)

by Andr'e Joyal, Ieke Moerdijk
Venue:André Joyal, Mogens