« Logique (mathématiques) » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-\r?\n?\r?\n?\r?\[\[Catégorie\:(.*)\]\] +) |
m Robot : Remplacement de texte automatisé (-niveau\s*=\s*14 +niveau = 15) |
||
Ligne 19 :
| exo6 = {{Exo|Calcul naturel|0|?}}
| exo7 = {{Exo|Calcul intuitionniste|0|?}}
| niveau =
}}
| |||