Basic proof theory - Troelstra, Anne S. 1939-2019; Schwichtenberg, Helmut 1942- (Cambridge tracts in theoretical computer science, 2000)