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  - 

ED  - 

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

PB  - Elsevier

SN  - 9780444864949

SP  - 275

EP  - 295

Y2  - 2025/12/08

ER  -