Durand-Guerrier V. Some logical issues in discrete mathematics and algorithmic thinking. Teach. Math. Comp. Sci. [Internet]. 2020 Nov. 4 [cited 2025 Dec. 5];18(4):243-58. Available from: https://ojs.lib.unideb.hu/tmcs/article/view/11008