The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem. ZFN [Internet]. 2014 Sep. 18 [cited 2025 Oct. 9];(56):33-56. Available from: https://www.zfn.edu.pl/index.php/zfn/article/view/26