Calcul des sequents de Gentzen

Calcul des sequents de Gentzen