Basic proof theory - Troelstra, A. S. (Anne Sjerp); Schwichtenberg, Helmut, 1942- (Cambridge : Cambridge University Press, 2000)
Includes bibliographical references (p. 379-403) and index.
Keywords: Proof theory