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