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