TY  - JOUR

T1  - On the Freyd cover of a topos.

JO  - Notre Dame Journal of Formal Logic

PY  - 1983/01/01

AU  - Moerdijk I

ED  - 

DO  - DOI: 10.1305/ndjfl/1093870454

PB  - Duke University Press

VL  - 24

IS  - 4

SP  - 517

EP  - 526

Y2  - 2024/12/22

ER  -