A brief introduction to algebraic set theory (2008)

by S Awodey
Venue:Bulletin of Symbolic Logic