Basic proof theory - Troelstra, Anne S. 1939-2019; Schwichtenberg, Helmut 1942- (Cambridge University Press, 2000)