Urbańczyk, P. (2014) “The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem”, Philosophical Problems in Science (Zagadnienia Filozoficzne w Nauce), (56), pp. 33–56. doi:10.59203/zfn.56.26.