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

by Steve Awodey , Thomas Streicher
Venue:In preparation
Citations:4 - 4 self