Proofs in Deduction Modulo

Description

Deduction modulo is a new framework that seems particularily
well-suited to study proofs and proof search methods in various
theories, such as equational theories, the simple type theory, set
theory, stratified set theories, etc. The goal of this course is to
present deduction modulo and to use it to present basic results in
proof theory (Gentzen' theorem, Girard's theorem, Crabbe'
counter-example, ...)