The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem. (2014). Philosophical Problems in Science (Zagadnienia Filozoficzne W Nauce), 56, 33-56. https://www.zfn.edu.pl/index.php/zfn/article/view/26