C. Déduction naturelle

• Cours :
  • Déduction naturelle
• TP :
  • Exercices de déduction naturelle solution (à ne pas ouvrir en TP mais chez soi !)
  • Logique : révisions solution (à ne pas ouvrir en TP mais chez soi !)