C. Déduction naturelle

• Cours :
  • Déduction naturelle
• Vidéos explicatives :
  • Dérivation d'une preuve
• TP :
  • Mots et langages solution (à ne pas ouvrir en TP mais chez soi !)
• Objectifs d'apprentissage :
  • [object Object]