“The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem”, ZFN, no. 56, pp. 33–56, Sep. 2014, Accessed: Oct. 09, 2025. [Online]. Available: https://zfn.edu.pl/index.php/zfn/article/view/26