« Discussion:Théorème d'élimination des coupures » : différence entre les versions
Contenu supprimé Contenu ajouté
m Évaluation : Multiprojet (BD) Logique|?) |
|||
Ligne 1 :
{{Traduit de|en|Cut-elimination theorem|12/09/2016|739019100}}
{{Wikiprojet
|Logique|?
|avancement=BD
}}
== Erreur dans l'introduction ==
| |||