Basic Proof Theory (1996)

by A S Troelstra, H Schwichtenberg