Logique et ontologie - Mouloud, Noël (Inst. de Recherche et d'Enseignement sur les Mathémat., 1982)