La Logique des Topos. - Andre Boileau; André Joyal (J. Symb. Log., 1981)