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 November 23, 2024. https://zfn.edu.pl/index.php/zfn/article/view/26.