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

Contenu supprimé Contenu ajouté
Aucun résumé des modifications
m Bot : Remplacement de texte automatisé (-=\s?\[\[\/(.*)\/\]\] += {{C|\1|0|}})
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 = [[/Logiques d'ordre supérieur|Les logiques d'ordre supérieur]]
| 6 = [[/Théorie des modèles|La théorie des modèles]]