916 -- Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications. : Historique des versions
Légende : (actu) = différence avec la version actuelle, (diff) = différence avec la version précédente, m = modification mineure