« Logique (mathématiques) » : différence entre les versions

Contenu supprimé Contenu ajouté
m Bot : Remplacement de texte automatisé (- {0,2}\| (\d) {0,12}= {0,1}\[\[\/(.*)\/?\|(.*)\]\] + | \1 = {{C|\2|0|?}})
m Robot : Remplacement de texte automatisé (-\{\{[Cc]\|([^\|]+)\|([^\|]+)\|\}\} +{{C|\1|\2|?}})
Ligne 3 :
| idfaculté = mathématiques
| département =
| 1 = {{C|Introduction|0|?}}
| 2 = {{C|Grammaire des prédicats|0|?}}
| 3 = {{C|Déduction naturelle|0|?}}
| 4 = {{C|Autres formulations des principes de la logique du premier ordre|0|?}}
| 5 = {{C|Logiques d'ordre supérieur|0|?}}
| 6 = {{C|Théorie des modèles|0|?}}