Lectures on the Curry-Howard Isomorphism