TY  - CHAP

T1  - Two Sheaf Representations of Elementary Toposes.

T2  - Studies in Logic and the Foundations of Mathematics

UR  - https://doi.org/10.1016/s0049-237x(09)70132-6

PY  - 1982/01/01

AU  - Lambek J

AU  - Moerdijk I

ED  - 

DO  - DOI: 10.1016/s0049-237x(09)70132-6

PB  - Elsevier

SP  - 275

EP  - 295

Y2  - 2025/10/10

ER  -