Algebraic set theory, volume 220 (1995)

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