A Short Introduction to Intuitionistic Logic door Grigori Mints