A Short Introduction to Intuitionistic Logic (Grigori Mints, Springer, 2000 - The Independent