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