A Short Introduction to Intuitionistic Logic