URBAŃCZYK, P. The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem. Philosophical Problems in Science (Zagadnienia Filozoficzne w Nauce), [S. l.], n. 56, p. 33–56, 2014. Disponível em: https://zfn.edu.pl/index.php/zfn/article/view/26. Acesso em: 25 apr. 2024.