TY  - JOUR

T1  - Aspects of Predicative Algebraic Set Theory III: Sheaves

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

PY  - 2009/12/07

AU  - Berg BVD

AU  - Moerdijk I

ED  - 

DO  - DOI: 10.1112/plms/pdr066

Y2  - 2024/12/22

ER  -