TY  - CHAP

T1  - Reals and Forcing with an Elementary Topos

T2  - Mathematical Sciences Research Institute Publications

UR  - https://doi.org/10.1007/978-1-4612-2822-6_15

PY  - 1992/01/01

AU  - Mac Lane S

AU  - Moerdijk I

ED  - 

DO  - DOI: 10.1007/978-1-4612-2822-6_15

PB  - Springer New York

SN  - 9781461276852

SP  - 373

EP  - 385

Y2  - 2025/10/10

ER  -