TY  - JOUR

T1  - Two sheaf representations of elementary toposes

JO  - Studies in Logic and the Foundations of Mathematics

PY  - 1982/01/01

AU  - Lambek J

AU  - Moerdijk I

ED  - 

DO  - DOI: 10.1016/S0049-237X(09)70132-6

VL  - 110

IS  - C

SP  - 275

EP  - 295

Y2  - 2024/12/22

ER  -