Basic proof theory /
Troelstra, A. S.
Schwichtenberg, Helmut.
Cambridge : Cambridge University Press,
2000.
Previous ed.: 1996.
Includes bibliographical references (p. 379-403) and index.
Proof theory.