Urbańczyk, Piotr. “The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem”. Philosophical Problems in Science (Zagadnienia Filozoficzne W Nauce), no. 56, Sept. 2014, pp. 33-56, https://doi.org/10.59203/zfn.56.26.