Cours 3
Requisitos de finalización
Globalement: Grands théorèmes du calcul des prédicats. Complétude.
- Transparents en un seul fichier (version imprimable 2x2)
- Chapitres du polycopiés concernés: chapitre 5 et 6