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