TY  - JOUR

T1  - Glueing topoi and higher order disjunction and existence

JO  - Studies in Logic and the Foundations of Mathematics

PY  - 1982/01/01

AU  - Moerdijk I

ED  - 

DO  - DOI: 10.1016/S0049-237X(09)70137-5

VL  - 110

IS  - C

SP  - 359

EP  - 375

Y2  - 2024/12/22

ER  -