« Logique (mathématiques) » : différence entre les versions
Contenu supprimé Contenu ajouté
maintenance |
mise à jour |
||
Ligne 2 :
| idfaculté = mathématiques
| département = Fondements logiques et ensemblistes des mathématiques
|
| w = Logique mathématique▼
| 1 = {{C|Introduction|0|15}}
| 2 = {{C|Grammaire des prédicats|0|15}}
Ligne 20 ⟶ 19 :
| exo6 = {{Exo|Calcul naturel|4|15}}
| exo7 = {{Exo|Calcul intuitionniste|0|15}}
|
▲ | w = Logique mathématique
}}
| |||