COURS/TD Systèmes déductifs (2006-2007, semestre 3):

• LE site général de l'UE "Logique automates et applications"
• Plan du cours et références: .pdf.
• Feuille d'exercices 1: logique du premier ordre .pdf
• Feuille d'exercices 2: deduction naturelle .pdf
• Feuille d'exercices 3: plongement de la logique classique dans la logique intuitionniste .pdf