P. Urbańczyk, “The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem”, ZFN, no. 56, pp. 33–56, Sep. 2014.