Springer Short Introduction to Intuitionistic Logic