Basic proof theory - Troelstra, A. S. (Anne Sjerp) (Cambridge University Press, 1996)