Check paper called "Lectures on the Curry-Howard Isomorphism". It seems to be pretty comprehensive introduction to different kinds of logics.