Ozan Pala, Serkan Narlı 2020. The Role of the Formal Knowledge in the Formation of the Proof Image: A Case Study in the Context of the Infinite Sets. Turkish Journal of Computer and Mathematics Education (TURCOMAT). 11, 3 (Dec. 2020), 584–618.