"1979" . "Th\u00E9orie des ensembles" . "Logique alg\u00E9brique" . . . . . . . "Logique math\u00E9matique" . . . . "Calcul des propositions" . "Topoi, the categorial analysis of logic" . "Th\u00E9orie des mod\u00E8les" . . "Toposes" . "Topoi, the categorial analysis of logic" . "Boole, Alg\u00E8bre de" . . . "Foncteurs, Th\u00E9orie des" . . "Topos (math\u00E9matiques)" . "Math\u00E9matiques intuitionnistes" . . . "Text" .