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