Durand-Guerrier, V. Some Logical Issues in Discrete Mathematics and Algorithmic Thinking. Teach. Math. Comp. Sci. 2020, 18 (4), 243-258. https://doi.org/10.5485/TMCS.2020.0474.