Urbańczyk P. The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem. ZFN. 2014;(56):33-56. doi:10.59203/zfn.56.26