Logique des topos : introduction a la theorie des topos elementaires - Schlomiuk, Dana I. (Seminaire de mathematiques superieures, 1977)