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. Retrieved from https://zfn.edu.pl/index.php/zfn/article/view/26