Relating first-order set theories and elementary toposes (2007)

by Steve Awodey , Carsten Butz , Alex Simpson , Thomas Streicher
Venue: BULLETIN OF SYMBOLIC LOGIC
Citations:6 - 4 self