Basic proof theory - Troelstra, A.S (Cambridge University Press, 2000)