Basic proof theory - Troelstra, A. S. (Cambridge Tracts in Theoretical Computer Science, 2000)