Basic Proof Theory (2000)

by A S Troelstra, H Schwichtenberg