Urbańczyk P. The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem. ZFN [Internet]. 2014 Sep. 18 [cited 2024 Nov. 23];(56):33-56. Available from: https://zfn.edu.pl/index.php/zfn/article/view/26