The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem. ZFN 2014, No. 56, 33-56.