Sheaves for predicative toposes

by Benno Van Den Berg
Venue:ArXiv:math.LO/0507480v1, 2005, To appear in the Archive for Mathematical Logic
Citations:3 - 0 self