Basic proof theory - Troelstra, Anne S. 1939-2019; Schwichtenberg, Helmut 1942- (Cambridge Univ. Press, 1996)
Keywords: Bewijstheorie; Preuve, Théorie de la; Théorèmes - Démonstration automatique; Proof theory; Beweistheorie