“The Role of the Formal Knowledge in the Formation of the Proof Image: A Case Study in the Context of the Infinite Sets” (2020) Turkish Journal of Computer and Mathematics Education (TURCOMAT), 11(3), pp. 584–618. Available at: http://www.turcomat.org/index.php/turkbilmat/article/view/242 (Accessed: 30 May 2026).