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