TY  - JOUR

T1  - Aspects of Predicative Algebraic Set Theory III: Sheaves

UR  - http://dx.doi.org/10.1112/plms/pdr066

PY  - 2012/06/13

AU  - Berg BVD

AU  - Moerdijk I

ED  - 

Y2  - 2025/12/08

ER  -