« Logique (mathématiques) » : différence entre les versions
Contenu supprimé Contenu ajouté
m Switch Dpt |
m Robot : Remplacement de texte automatisé (- *\|\s*titre\s*=\s*([^\|\n]*)\n +) |
||
Ligne 20 :
| exo7 = {{Exo|Calcul intuitionniste|0|?}}
| niveau =
}}
|