A Short Introduction to Intuitionistic Logic by Grigori Mints