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