### Bibliography

#### Works connected to ~~Ieke Moerdijk~~

#### Filter the Bibliography List

Reals and forcing with an elementary topos,” pp. 373–385 in Logic from computer science (Berkeley, CA, 13–17 November 1989). Edited by Y. N. Moschovakis. MSRI Publications 21. Springer (New York), 1992. MR 1236017 Zbl 0756.03025 incollection

: “Sheaves in geometry and logic: A first introduction to topos theory. Universitext. Springer (New York), 1992. A corrected reprint was published in 1994. Zbl 0822.18001 book

:Sheaves in geometry and logic: A first introduction to topos theory, reprinted edition. Universitext. Springer (New York), 1994. MR 1300636 book

:Topos theory,” pp. 501–528 in Handbook of algebra, vol. 1. Edited by M. Hazewinkel. Elsevier/North-Holland (Amsterdam), 1996. MR 1421810 Zbl 0858.18001 incollection

: “