Logique des topos : introduction a la theorie des topos elementaires - Schlomiuk, Dana I. (Presses de l'Universite de Montreal, 1977)