Une généralisation du théorème d'omission des types dans les algèbres polyadiques Georges Georgescu (1982) Annales scientifiques de l'Université de Clermont. Mathématiques