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 December 6, 2022. https://zfn.edu.pl/index.php/zfn/article/view/26.