Relating set theory, toposes and categories of classes (2003)

by Streicher
Venue:In preparation