Durand-Guerrier, V. (2020). Some logical issues in discrete mathematics and algorithmic thinking. Teaching Mathematics and Computer Science, 18(4), 243-258. https://doi.org/10.5485/TMCS.2020.0474