Urbańczyk, P. The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem. ZFN 2014, No. 56, 33-56. https://doi.org/10.59203/zfn.56.26.