An axiomatization of predicate functor logic

Axiomatisation d'une logique avec foncteur de predicat inventee par Quine et dont la caracteristique principale est de fournir un equivalent de la logique elementaire libre de variables. L'A. propose une procedure d'enumeration recursive des formules de la logique avec foncteur de predicat qui ont leur equivalent en logique elementaire.