Relating first-order set theories, toposes and categories of classes (2007)

by S Awodey, C Butz, A Simpson, T Streicher
Venue:In preparation