Urbańczyk, Piotr. “The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem”. Philosophical Problems in Science (Zagadnienia Filozoficzne w Nauce), no. 56 (September 18, 2014): 33–56. Accessed May 6, 2025. https://www.zfn.edu.pl/index.php/zfn/article/view/26.