Précédent : Impossibilité d'une méthode de combinaison Remonter : Preuve Suivant : Actions industrielles

Logique, théorie de la démonstration

Participants : Adam Cichon, Sohame Selhab

Mots-clés : normalisation forte, logique