(PETITE ÉCOLE SUR LES FAISCEAUX EN LOGIQUE ET EN GÉOMÉTRIE). 1.
CALCUL ... Démonstrations formelles : déduction naturelle, calcul des séquents.
De prime abord ..... René Cori and Daniel Lascar, Logique mathématique. Cours
et exercices. I, Axiomes. ... [Propositional calculus, Boolean algebras, predicate ... 
