Urbańczyk, P. “The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem”. Philosophical Problems in Science (Zagadnienia Filozoficzne W Nauce), no. 56, Sept. 2014, pp. 33-56, https://zfn.edu.pl/index.php/zfn/article/view/26.