Durand-Guerrier, Viviane. 2020. “Some Logical Issues in Discrete Mathematics and Algorithmic Thinking”. Teaching Mathematics and Computer Science 18 (4): 243-58. https://doi.org/10.5485/TMCS.2020.0474.