Relating toposes and categories of classes (2003)

by Streicher
Venue:In preparation