Couvre les bases et les applications du calcul séquentiel en logique et théorie des preuves, y compris l'élimination des coupes et l'analyse des preuves pratiques.
Introduit des ensembles et des fonctions, couvrant les analogies d'union, d'intersection, de complément, de terminologie de fonctions et d'opérations d'ensemble.
