TY - JOUR T1 - Derived rules for predicative set theory: An application of sheaves JO - Annals of Pure and Applied Logic PY - 2012/01/01 AU - van den Berg B AU - Moerdijk I ED - DO - DOI: 10.1016/j.apal.2012.01.010 VL - 163 IS - 10 SP - 1367 EP - 1383 Y2 - 2024/12/22 ER -