Urbańczyk, P. The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem. ZFN 2014, 33-56.