Examens corriges

Examen corrigé du Cours de logique

On rappelle qu'une axiomatisation d'une propriété P portant sur les L-structures (pour un langage L fixé) est une L-théorie T telle qu'une ...





Télécharger