Basic proof theory - Troelstra, Anne S. 1939-2019; Schwichtenberg, Helmut 1942- (Cambridge Univ. Press, 2000)
Keywords: Bewijstheorie; Logique symbolique et mathématique; Preuve, Théorie de la; logique 1er ordre; programmation en logique; théorie catégorie; théorie démonstration; Proof theory; Beweistheorie