Basic proof theory. (1996)

by A Troelstra, H Schwichtenberg