Urbańczyk, P. 2014. The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem. Philosophical Problems in Science (Zagadnienia Filozoficzne w Nauce). 56 (Sep. 2014), 33–56.