Matematiksel akıl yürütme ile ispat süreçleri - Yüce, Salim (Pegem Akademi, 2023)