Récurrence nœthérienne pour le raisonnement de premier ordre

Sorin Stratulat