Quelques notes du cours d'option du DEA de logique et fondements de l'informatique "Théorie de la démonstration" en 2000 et 2001.
Ce polycopié (d'une centaine de pages) présente tout d'abord la déduction naturelle et le calcul des séquents, en logique classique et intuitionniste (chapitre I). Il donne ensuite quelques applications à la preuve automatique (chapitre II).
Ces notes de cours (6 pages) présentent une preuve de normalisation forte du système T de Gödel.
Ces notes de cours (16 pages) sont une introduction à la déduction naturelle classique avec plusieurs formules à droite et au lambda-mu-calcul de M. Parigot.