Short Introduction To Intuitionistic Logic by Grigori Mints & G.E. Mints