Elementary toposes - Kock, Anders (Lecture notes series (Aarhus universitet. Matematisk institut) ;, 1971)